From 0eb454de763fb432420828d1610f81ac2a749163 Mon Sep 17 00:00:00 2001 From: qwjyh Date: Tue, 18 Oct 2022 10:21:40 +0900 Subject: [PATCH] introduce local patch --- dotfiles/fish/config.fish | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/dotfiles/fish/config.fish b/dotfiles/fish/config.fish index 590b7dd..a65e4a9 100644 --- a/dotfiles/fish/config.fish +++ b/dotfiles/fish/config.fish @@ -16,7 +16,7 @@ if status is-interactive set -x SHELL bash # opam - source ~/.opam/opam-init/init.fish > /dev/null 2> /dev/null; or true + #source ~/.opam/opam-init/init.fish > /dev/null 2> /dev/null; or true end # starship @@ -50,9 +50,7 @@ function save_myhistory --on-event fish_prompt -d "Save custom shell log to $my_ >> $my_fish_history end - -# julia -# to solve Graphic Card driver problem -export LD_PRELOAD=/usr/lib64/libstdc++.so.6 +# load local patch +source ~/.config/fish/local_patch.fish