diff options
| author | davidovski <david@davidovski.xyz> | 2022-06-20 00:08:10 +0100 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-06-20 00:08:10 +0100 |
| commit | 786633be3f57f66eecaa5534f0a9703373439138 (patch) | |
| tree | 1c11c868f0d15aa046ee127b0b9f079798d21f0d /src/install.sh | |
| parent | 1c930ef3795800b6897bfa64afb52b3104edf22b (diff) | |
added size command
Diffstat (limited to 'src/install.sh')
| -rw-r--r-- | src/install.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/install.sh b/src/install.sh index 52f0a13..4bbacbe 100644 --- a/src/install.sh +++ b/src/install.sh @@ -125,3 +125,18 @@ reinstall () { install $@ } +do_install () { + [ "$#" = "0" ] && set -- $(installed) + + toinstall=${CACHE_DIR}/toinstall + + echo "" > $toinstall + tofetch="" + for f in $@; do + [ -f "$f" ] && echo $f >> $toinstall || tofetch="$tofetch$f " + done + + get $tofetch + install $(cat $toinstall) +} + |