Better trash
parent
a844f73f75
commit
747506f8af
|
@ -44,6 +44,7 @@ signal-desktop
|
||||||
telegram-desktop
|
telegram-desktop
|
||||||
terminator
|
terminator
|
||||||
thunderbird
|
thunderbird
|
||||||
|
trash-cli
|
||||||
ttf-dejavu
|
ttf-dejavu
|
||||||
ttf-font-awesome-5
|
ttf-font-awesome-5
|
||||||
ttf-material-icons-git
|
ttf-material-icons-git
|
||||||
|
|
5
.env
5
.env
|
@ -1,3 +1,8 @@
|
||||||
export SCENARI_SSH_USER='qduchemin'
|
export SCENARI_SSH_USER='qduchemin'
|
||||||
export SCENARI_SSH_KEY_PATH="/home/.ssh/id_gpg.pub"
|
export SCENARI_SSH_KEY_PATH="/home/.ssh/id_gpg.pub"
|
||||||
export PATH="$PATH:/home/go/bin"
|
export PATH="$PATH:/home/go/bin"
|
||||||
|
# trash-cli supports top-level trash (see https://specifications.freedesktop.org/trash-spec/trashspec-latest.html)
|
||||||
|
# gio, which is otherwise used by default, wants to write to ~/.local/share/Trash, which is on my
|
||||||
|
# system on another partition than user data, so that copying between partitions is denied by gio.
|
||||||
|
# another solution is to link $XDG_DATA_HOME/Trash somewhere on the same partition as user data
|
||||||
|
export ELECTRON_TRASH="trash-cli"
|
||||||
|
|
|
@ -1,3 +1,3 @@
|
||||||
enable-ssh-support
|
enable-ssh-support
|
||||||
default-cache-ttl 3600
|
default-cache-ttl 3600
|
||||||
max-cache-ttl 3600
|
max-cache-ttl 7200
|
||||||
|
|
Loading…
Reference in New Issue