joachim/scripts
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

wip src

Browse source
This commit is contained in:
joachimschmidt557 2019-12-07 14:20:10 +01:00
parent e69144a7d9
commit 78e95e5be7
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src
View file

@ -29,10 +29,13 @@ add_item() {
rm_item() {
## Remove this entry from the srcfile
## and delete the source files afterwards
tmp="$srcfile.tmp"
awk "$$3 != $1 { print }" "$srcfile" > "$tmp"
mv "$tmp" "$srcfile"
rm -rf "$3"
}
update_gitrepo() {