From f0e366eef78fe771290c73a3add0412dbe648b13 Mon Sep 17 00:00:00 2001 From: emmett1 Date: Fri, 8 Dec 2017 21:17:40 +0800 Subject: [PATCH] updated --- extra/listinstall | 1 + 1 file changed, 1 insertion(+) diff --git a/extra/listinstall b/extra/listinstall index a25ed53..00b1aa1 100755 --- a/extra/listinstall +++ b/extra/listinstall @@ -21,6 +21,7 @@ for i in $list; do if [ -d $INDEX_DIR/$i ]; then msg "$i is installed" else + echo msg "installing $i..." if [ $UID != 0 ]; then sudo scratch -p $i -i