From 747506f8af98e0caecd5b52bea47f4260fbc57a3 Mon Sep 17 00:00:00 2001
From: Quentin Duchemin <quentinduchemin@tuta.io>
Date: Tue, 27 Jun 2023 17:03:27 +0200
Subject: [PATCH] Better trash

---
 .config/bootstrap/config_common | 1 +
 .env                            | 5 +++++
 .gnupg/gpg-agent.conf           | 2 +-
 3 files changed, 7 insertions(+), 1 deletion(-)

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