diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2020-11-03 19:38:33 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2020-11-03 19:38:33 -0300 |
commit | 13876e9df1e1145d7220ad3b55b4b95559002663 (patch) | |
tree | 9df816f363f24ea65f453473843e2bd074c2b168 | |
parent | 4d4d59ec701a6944810753eadc92385c79b7a7db (diff) | |
download | scripts-13876e9df1e1145d7220ad3b55b4b95559002663.tar.gz scripts-13876e9df1e1145d7220ad3b55b4b95559002663.tar.bz2 |
Fix: use --refresh
-rwxr-xr-x | show | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -21,7 +21,7 @@ function __update_filelist { if [ -z "$ITEM" ]; then echo "usage: $BASENAME <item-name>" exit 1 -elif [ "$ITEM" == "refresh" ]; then +elif [ "$ITEM" == "--refresh" ]; then __update_filelist elif [ ! -d "$DOCS" ]; then echo "missing $DOCS folder" |