mirror of https://github.com/CIRCL/Circlean
Small bugfixes in groomer scripts
parent
c6e5caa2bd
commit
a8a57e1ef0
|
@ -69,7 +69,9 @@ run_groomer() {
|
|||
# echo "==== Done with /media/${SRC} to ${target_dir}. ====" >> "${logfile}"
|
||||
|
||||
# List destination files (recursively) for debugging
|
||||
# ls -lR "${target_dir}"
|
||||
if [ "${DEBUG}" = true ]; then
|
||||
ls -lR "${target_dir}"
|
||||
fi
|
||||
else
|
||||
# Previous command (mounting current partition) failed
|
||||
echo "GROOMER: Unable to mount ${partition} on /media/${SRC}"
|
||||
|
|
|
@ -13,7 +13,7 @@ clean(){
|
|||
pumount "${SRC}"
|
||||
pumount "${DST}"
|
||||
exit
|
||||
}
|
||||
}
|
||||
|
||||
check_not_root() {
|
||||
if ! [ "${ID}" -ge "1000" ]; then
|
||||
|
|
|
@ -11,7 +11,7 @@ run_timidity() {
|
|||
while true; do
|
||||
# -id flags set interface to "dumb" and -qq silences most/all terminal output
|
||||
"${TIMIDITY}" -idqq "${files[RANDOM % ${#files[@]}]}"
|
||||
done
|
||||
done
|
||||
}
|
||||
|
||||
main() {
|
||||
|
|
Loading…
Reference in New Issue