diff --git a/.config/bootstrap/config_common b/.config/bootstrap/config_common index 925d742..a0f24b4 100644 --- a/.config/bootstrap/config_common +++ b/.config/bootstrap/config_common @@ -44,6 +44,7 @@ signal-desktop telegram-desktop terminator thunderbird +trash-cli ttf-dejavu ttf-font-awesome-5 ttf-material-icons-git diff --git a/.env b/.env index 775e239..85ceca7 100644 --- a/.env +++ b/.env @@ -1,3 +1,8 @@ export SCENARI_SSH_USER='qduchemin' export SCENARI_SSH_KEY_PATH="/home/.ssh/id_gpg.pub" 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" diff --git a/.gnupg/gpg-agent.conf b/.gnupg/gpg-agent.conf index 242e10e..152ea2f 100644 --- a/.gnupg/gpg-agent.conf +++ b/.gnupg/gpg-agent.conf @@ -1,3 +1,3 @@ enable-ssh-support default-cache-ttl 3600 -max-cache-ttl 3600 +max-cache-ttl 7200