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

config.fish

Browse source
This commit is contained in:
William Ball 2025-01-05 11:17:07 -08:00
parent ba9f64d1a3
commit 144a645e13
1 changed files with 3 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
fish/.config/fish/config.fish
View file

@ -38,7 +38,7 @@ set -x MANPAGER "less -R --use-color -Dd+r -Du+b"
set -x INPUTRC $HOME/.config/readline/inputrc
set -x EDITOR nvim
set -x VISUAL nvim
set -x TZ America/Los_Angeles
#set -x TZ America/Los_Angeles
set -x TERM xterm-256color
set -x BROWSER firefox
set -x MOZ_ENABLE_WAYLAND 1
@ -58,17 +58,7 @@ set -x OCAMLPATH $HOME/.opam/default/lib
set -x AGDA_DIR $HOME/.config/agda
set -x MIZFILES $HOME/.local/share/mizar
function vicd
set dst "$(command vifm --choose-dir - $argv[2..-1])"
if [ -z "$dst" ];
echo 'Directory picking cancelled/failed'
return 1
end
cd "$dst"
end
eval (opam env)
eval (direnv hook fish)
#eval (opam env)
#eval (direnv hook fish)
set -q GHCUP_INSTALL_BASE_PREFIX[1]; or set GHCUP_INSTALL_BASE_PREFIX $HOME ; set -gx PATH $HOME/.cabal/bin $PATH /home/wball/.local/bin # ghcup-env