remove an old script
This commit is contained in:
parent
98e9811c8d
commit
3965af152b
1 changed files with 0 additions and 12 deletions
|
|
@ -1,12 +0,0 @@
|
|||
#!/bin/bash
|
||||
|
||||
dir="$1"
|
||||
if [[ -d "$1/.git" ]]; then
|
||||
cd "$1"
|
||||
git clean -fq
|
||||
git pull
|
||||
else
|
||||
echo "error: $1 is not a git repo"
|
||||
exit 1
|
||||
fi
|
||||
|
||||
Loading…
Reference in a new issue