From 8a1c7daa340f60fdc0ec69c13a68fa81c1345fd9 Mon Sep 17 00:00:00 2001 From: William Ball Date: Mon, 11 Aug 2025 19:18:41 -0700 Subject: [PATCH] get rid of opam --- fish/.config/fish/config.fish | 9 --------- fish/.config/fish/fish_variables | 2 +- 2 files changed, 1 insertion(+), 10 deletions(-) diff --git a/fish/.config/fish/config.fish b/fish/.config/fish/config.fish index c343a21..aa3a9d9 100644 --- a/fish/.config/fish/config.fish +++ b/fish/.config/fish/config.fish @@ -68,12 +68,3 @@ set -x AGDA_DIR $HOME/.config/agda set -x PACK_DIR $HOME/.local/share/pack set -x MIZFILES $HOME/.local/share/mizar set -x RLWRAP_HOME $XDG_DATA_HOME/rlwrap - - -# BEGIN opam configuration -# This is useful if you're using opam as it adds: -# - the correct directories to the PATH -# - auto-completion for the opam binary -# This section can be safely removed at any time if needed. -test -r '/home/wball/.opam/opam-init/init.fish' && source '/home/wball/.opam/opam-init/init.fish' > /dev/null 2> /dev/null; or true -# END opam configuration diff --git a/fish/.config/fish/fish_variables b/fish/.config/fish/fish_variables index 9e6933c..ac2cc00 100644 --- a/fish/.config/fish/fish_variables +++ b/fish/.config/fish/fish_variables @@ -1,7 +1,7 @@ # This file contains fish universal variable definitions. # VERSION: 3.0 SETUVAR --export FZF_DEFAULT_OPTS:\x2d\x2dcolor\x3dbg\x2b\x3a\x23313244\x2cbg\x3a\x231e1e2e\x2cspinner\x3a\x23f5e0dc\x2chl\x3a\x23f38ba8\x20\x2d\x2dcolor\x3dfg\x3a\x23cdd6f4\x2cheader\x3a\x23f38ba8\x2cinfo\x3a\x23cba6f7\x2cpointer\x3a\x23f5e0dc\x20\x2d\x2dcolor\x3dmarker\x3a\x23f5e0dc\x2cfg\x2b\x3a\x23cdd6f4\x2cprompt\x3a\x23cba6f7\x2chl\x2b\x3a\x23f38ba8 -SETUVAR --export GPG_TTY:not\x20a\x20tty +SETUVAR --export GPG_TTY:/dev/pts/0 SETUVAR --export SSH_AGENT_PID:786479 SETUVAR --export SSH_AUTH_SOCK:/tmp/ssh\x2dXXXXXXkRTHwG/agent\x2e786475 SETUVAR ZO_CMD:zo