fix trash_rm

2021-09-21 19:36:27 +02:00 · 2021-09-21 19:36:27 +02:00 · 8492f4ea64
commit 8492f4ea64
parent 10d4f8d2ad
1 changed files with 1 additions and 1 deletions
--- a/trash.sh
+++ b/trash.sh
@ -38,7 +38,7 @@ trash_restore() {

 trash_rm() {
  for FILE_TO_REMOVE in "$@"; do
-    if [[ ! "$FILE_TO_REMOVE" =~ $HOME/.trash ]]
+    if ! echo "$FILE_TO_REMOVE" | grep "$HOME/.trash"
      then FILE_TO_REMOVE="$HOME/.trash/$FILE_TO_REMOVE"
    fi
    if [ -f "$FILE_TO_REMOVE" ]; then