darkwiiplayer/darkrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Rename rfetch to farfetched

Browse source
This commit is contained in:
Talia 2020-01-07 17:15:27 +01:00
parent 86e3c44561
commit a1a5a8b2f1
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
bin/rfetch → bin/farfetched
View file

@ -1,4 +1,5 @@
#!/bin/sh #!/bin/sh
if [ -d "$1" ]; then cd $1; fi
find . -type d -name '.git' \ find . -type d -name '.git' \
| sed 's/\/\.git$//' \ | sed 's/\/\.git$//' \
| xargs -P $(nproc) -I % sh -c "echo 'Fetching %...'; cd %; git fetch" | xargs -P $(nproc) -I % sh -c "echo 'Fetching %...'; cd %; git fetch"