introduce local patch
This commit is contained in:
parent
f97cb0d155
commit
0eb454de76
1 changed files with 3 additions and 5 deletions
|
@ -16,7 +16,7 @@ if status is-interactive
|
||||||
set -x SHELL bash
|
set -x SHELL bash
|
||||||
|
|
||||||
# opam
|
# 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
|
end
|
||||||
|
|
||||||
# starship
|
# starship
|
||||||
|
@ -50,9 +50,7 @@ function save_myhistory --on-event fish_prompt -d "Save custom shell log to $my_
|
||||||
>> $my_fish_history
|
>> $my_fish_history
|
||||||
end
|
end
|
||||||
|
|
||||||
|
# load local patch
|
||||||
# julia
|
source ~/.config/fish/local_patch.fish
|
||||||
# to solve Graphic Card driver problem
|
|
||||||
export LD_PRELOAD=/usr/lib64/libstdc++.so.6
|
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue