new function to trash files instead of removing them permanently

This commit is contained in:
aminnairi
2024-01-05 20:30:02 +01:00
parent b1ed437521
commit 3c9de23a29
@@ -0,0 +1,4 @@
function rm
# Use GIO in order to move the file to trash instead of deleting it permanently
/usr/bin/gio trash $argv
end