1234567891011121314151617181920212223242526 |
- #!/bin/sh
- # ---------- ---------- ---------- ---------- ---------- ----------
- #NOTE: username and ampersand
- # xor
- # neither the username nor ampersand
- # ---------- ---------- ---------- ---------- ---------- ----------
- mirror() {
- mirrorsh=./make/mirror-repo.sh
- output=./src/$1
- remote=$2
- ${mirrorsh} ${output} ${remote}
- }
- ${url}=https://foo.bar/
- echo "Configure some mirror if available."
- #mirror peers ${url}peers.git
- #mirror peers-bounty-hunts ${url}peers-bounty-hunts.git
- #mirror peers-mirrors ${url}peers-mirrors.git
- #mirror peerskart ${url}peerskart.git
- #mirror librepup-website ${url}librepup-website.git
|