wball/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

get rid of opam

Browse source
This commit is contained in:
William Ball 2025-08-11 19:18:41 -07:00
parent bec4352a7e
commit 8a1c7daa34
Signed by: wball
GPG key ID: B8682D8137B70765
2 changed files with 1 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
fish/.config/fish/config.fish
View file

@ -68,12 +68,3 @@ set -x AGDA_DIR $HOME/.config/agda
set -x PACK_DIR $HOME/.local/share/pack set -x PACK_DIR $HOME/.local/share/pack
set -x MIZFILES $HOME/.local/share/mizar set -x MIZFILES $HOME/.local/share/mizar
set -x RLWRAP_HOME $XDG_DATA_HOME/rlwrap 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

2
fish/.config/fish/fish_variables
View file

@ -1,7 +1,7 @@
# This file contains fish universal variable definitions. # This file contains fish universal variable definitions.
# VERSION: 3.0 # 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 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_AGENT_PID:786479
SETUVAR --export SSH_AUTH_SOCK:/tmp/ssh\x2dXXXXXXkRTHwG/agent\x2e786475 SETUVAR --export SSH_AUTH_SOCK:/tmp/ssh\x2dXXXXXXkRTHwG/agent\x2e786475
SETUVAR ZO_CMD:zo SETUVAR ZO_CMD:zo