From 6d8f842798b0eff6437607a9e4c3c58062de5933 Mon Sep 17 00:00:00 2001 From: William Ball Date: Thu, 6 Feb 2025 20:53:05 -0800 Subject: [PATCH] misc changes --- fish/.config/fish/config.fish | 14 ++++++++++++-- fish/.config/fish/fish_variables | 2 +- kitty/.config/kitty/kitty.conf | 4 +--- 3 files changed, 14 insertions(+), 6 deletions(-) diff --git a/fish/.config/fish/config.fish b/fish/.config/fish/config.fish index fcc2620..c6e1f08 100644 --- a/fish/.config/fish/config.fish +++ b/fish/.config/fish/config.fish @@ -31,7 +31,7 @@ fish_add_path $HOME/.local/share/rustup/toolchains/stable-x86_64-unknown-linux-g fish_add_path /usr/lib/smlnj/bin fish_add_path $HOME/.config/emacs/bin fish_add_path $HOME/.elan/bin -fish_add_path $HOME/.pack/bin +fish_add_path $HOME/.local/share/pack/bin set -x XDG_CACHE_HOME $HOME/.cache set -x XDG_CONFIG_HOME $HOME/.config @@ -55,7 +55,7 @@ set -x XDG_DATA_HOME $HOME/.local/share set -x CARGO_HOME $XDG_DATA_HOME/cargo set -x GNUPGHOME $XDG_DATA_HOME/gnupg set -x GPG_TTY (tty) -set -x STACK_ROOT $XDG_DATA_HOME/stack +set -x STACK_XDG 1 set -x GHCUP_USE_XDG_DIRS true set -x JULIA_DEPOT_PATH $XDG_DATA_HOME/julia:$JULIA_DEPOT_PATH set -x JUPYTER_CONFIG_DIR $XDG_CONFIG_HOME/jupyter @@ -65,3 +65,13 @@ set -x MAXIMA_USERDIR $XDG_CONFIG_HOME/maxima 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 4a9fef7..e587024 100644 --- a/fish/.config/fish/fish_variables +++ b/fish/.config/fish/fish_variables @@ -53,5 +53,5 @@ SETUVAR fish_pager_color_selected_background:\x2d\x2dbackground\x3dbrblack SETUVAR fish_pager_color_selected_completion:\x1d SETUVAR fish_pager_color_selected_description:\x1d SETUVAR fish_pager_color_selected_prefix:\x1d -SETUVAR fish_user_paths:/home/wball/\x2ecache/cabal/bin\x1e/home/wball/\x2epack/bin\x1e/usr/lib/smlnj/bin\x1e/home/wball/go/bin\x1e/home/wball/\x2eelan/bin\x1e/home/wball/\x2econfig/emacs/bin\x1e/home/wball/j9\x2e5/bin\x1e/home/wball/\x2elocal/smlnj/bin\x1e/home/wball/\x2elocal/share/rustup/toolchains/stable\x2dx86_64\x2dunknown\x2dlinux\x2dgnu/bin\x1e/home/wball/code/j/j9\x2e4/bin\x1e/usr/lib/j9/bin\x1e/home/wball/\x2ecabal/bin\x1e/home/wball/\x2eghcup/bin\x1e/home/wball/\x2elocal/share/cargo/bin\x1e/home/wball/\x2elocal/bin\x1e/home/wball/\x2ecargo/bin\x1e/home/wball/\x2escripts +SETUVAR fish_user_paths:/home/wball/\x2elocal/share/pack/bin\x1e/home/wball/\x2elocal/share/pack\x1e/home/wball/\x2ecache/cabal/bin\x1e/home/wball/\x2epack/bin\x1e/usr/lib/smlnj/bin\x1e/home/wball/go/bin\x1e/home/wball/\x2eelan/bin\x1e/home/wball/\x2econfig/emacs/bin\x1e/home/wball/j9\x2e5/bin\x1e/home/wball/\x2elocal/smlnj/bin\x1e/home/wball/\x2elocal/share/rustup/toolchains/stable\x2dx86_64\x2dunknown\x2dlinux\x2dgnu/bin\x1e/home/wball/code/j/j9\x2e4/bin\x1e/usr/lib/j9/bin\x1e/home/wball/\x2ecabal/bin\x1e/home/wball/\x2eghcup/bin\x1e/home/wball/\x2elocal/share/cargo/bin\x1e/home/wball/\x2elocal/bin\x1e/home/wball/\x2ecargo/bin\x1e/home/wball/\x2escripts SETUVAR grc_plugin_execs:cat\x1ecvs\x1edf\x1ediff\x1edig\x1egcc\x1eg\x2b\x2b\x1els\x1eifconfig\x1emake\x1emount\x1emtr\x1enetstat\x1eping\x1eps\x1etail\x1etraceroute\x1ewdiff\x1eblkid\x1edu\x1ednf\x1edocker\x1edocker\x2dcompose\x1edocker\x2dmachine\x1eenv\x1eid\x1eip\x1eiostat\x1ejournalctl\x1ekubectl\x1elast\x1elsattr\x1elsblk\x1elspci\x1elsmod\x1elsof\x1egetfacl\x1egetsebool\x1eulimit\x1euptime\x1enmap\x1efdisk\x1efindmnt\x1efree\x1esemanage\x1esar\x1ess\x1esysctl\x1esystemctl\x1estat\x1eshowmount\x1etcpdump\x1etune2fs\x1evmstat\x1ew\x1ewho\x1esockstat diff --git a/kitty/.config/kitty/kitty.conf b/kitty/.config/kitty/kitty.conf index 102f9a0..8b267a4 100644 --- a/kitty/.config/kitty/kitty.conf +++ b/kitty/.config/kitty/kitty.conf @@ -1,12 +1,10 @@ -font_family iosevka Nerd Font +font_family Iosevka Nerd Font font_size 15.0 window_padding_width 5 enable_audio_bell no visual_bell_duration 0.0 -hide_window_decorations - # BEGIN_KITTY_THEME # Catppuccin-Mocha