12345678910111213141516171819202122 |
- #!/bin/sh
- # ---------- ---------- ---------- ---------- ---------- ----------
- #NOTE: username and ampersand
- # xor
- # neither the username nor ampersand
- # ---------- ---------- ---------- ---------- ---------- ----------
- mirror() {
- mirror=./make/remove-mirror-repo.sh
- output=./src/$1
- remote=$2
- ${mirror} ${output} ${remote}
- }
- mirror peers
- mirror peers-bounty-hunts
- mirror peers-mirrors
- mirror peerskart
- mirror librepup-website
|