14 lines
815 B
Bash
14 lines
815 B
Bash
export SCENARI_SSH_USER='qduchemin'
|
|
export SCENARI_SSH_KEY_PATH="/home/.ssh/id_gpg.pub"
|
|
export PICASOFT_SSH_USER='qduchemi'
|
|
export PICASOFT_SSH_KEY_PATH='/home/.ssh/id_gpg.pub'
|
|
export PATH="$PATH:/home/go/bin:/usr/local/.local/bin:~/node_modules/.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"
|
|
export ZSH_COLORIZE_TOOL="pygmentize"
|
|
export ZSH_COLORIZE_STYLE="catppuccin-macchiato"
|
|
export LESSOPEN="|lesspipe.sh %s"
|