This commit is contained in:
Mylloon 2021-11-14 00:44:24 +01:00
parent fae052d5f5
commit b4b00f2ad2
10 changed files with 72 additions and 69 deletions

View file

@ -1,14 +1,14 @@
# NAS -- penser à créer les dossiers : sudo mkdir /mnt/z && sudo mkdir /mnt/z # NAS -- think about creating following folders : sudo mkdir /mnt/z && sudo mkdir /mnt/z
# sudo mount -t drvfs 'Y:' /mnt/y -o metadata,uid=1000,gid=1000 # sudo mount -t drvfs 'Y:' /mnt/y -o metadata,uid=1000,gid=1000
# sudo mount -t drvfs 'Z:' /mnt/z -o metadata,uid=1000,gid=1000 # sudo mount -t drvfs 'Z:' /mnt/z -o metadata,uid=1000,gid=1000
# COULEUR MANUELS # COLORED MANUALS
set -x MANPAGER "sh -c 'col -bx | batcat -l man -p'" set -x MANPAGER "sh -c 'col -bx | batcat -l man -p'"
# SSH # SSH
fish_ssh_agent fish_ssh_agent
# Raccourcis # Shortcuts
abbr ls 'ls -lh' abbr ls 'ls -lh'
abbr cp 'cp -r' abbr cp 'cp -r'
abbr rm 'rm -rf' abbr rm 'rm -rf'
@ -30,6 +30,9 @@ abbr spotify 'LD_PRELOAD=/usr/local/lib/spotify-adblock.so spotify > /dev/null 2
# Exclu fac # Exclu fac
# abbr bocal 'ssh bocal -t sh' # abbr bocal 'ssh bocal -t sh'
# SDKMAN
[[ -s "$HOME/.sdkman/bin/sdkman-init.sh" ]] && source "$HOME/.sdkman/bin/sdkman-init.sh"
# GL4Dummies # GL4Dummies
set -gx PATH $HOME/local/bin $PATH set -gx PATH $HOME/local/bin $PATH
set -gx LD_LIBRARY_PATH $HOME/local/lib $LD_LIBRARY_PATH set -gx LD_LIBRARY_PATH $HOME/local/lib $LD_LIBRARY_PATH

View file

@ -1,30 +1,30 @@
# --> Nautilus <-- # --> Nautilus <--
# On récupère la liste des raccourcis personnalisés # Fetching customs keyboard shortcuts
CUSTOM_KEYBINDINGS_LIST=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings) CUSTOM_KEYBINDINGS_LIST=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings)
if [[ $CUSTOM_KEYBINDINGS_LIST == "@as []" ]] # Si il y en a pas on créer construit notre liste if [[ $CUSTOM_KEYBINDINGS_LIST == "@as []" ]] # Creating new list if not exists
then then
CUSTOM_KEYBINDINGS_LIST="['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/']" CUSTOM_KEYBINDINGS_LIST="['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/']"
else # Si il y en a déjà on rajoute un élément à la liste else # If already existing, adding our new element
CUSTOM_KEYBINDINGS_LIST="${CUSTOM_KEYBINDINGS_LIST::-1}, '/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/']" CUSTOM_KEYBINDINGS_LIST="${CUSTOM_KEYBINDINGS_LIST::-1}, '/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/']"
fi fi
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "$CUSTOM_KEYBINDINGS_LIST" # On met à jour la liste gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "$CUSTOM_KEYBINDINGS_LIST" # Updating the list
# On le nomme # Naming it
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/ name 'Nautilus shortcut' # On définit le nom de l'élément qu'on a rajouté gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/ name 'Nautilus shortcut' # Set name
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/ command 'nautilus' # On définit la commande de l'élément qu'on a rajouté gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/ command 'nautilus' # Set command
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/ binding '<Super>E' # On définit le raccourci de l'élément qu'on a rajouté gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/ binding '<Super>E' # Set shortcut
# --> Flameshot <-- # --> Flameshot <--
# On récupère la liste des raccourcis personnalisés # Fetching customs keyboard shortcuts
CUSTOM_KEYBINDINGS_LIST=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings) CUSTOM_KEYBINDINGS_LIST=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings)
if [[ $CUSTOM_KEYBINDINGS_LIST == "@as []" ]] # Si il y en a pas on créer construit notre liste if [[ $CUSTOM_KEYBINDINGS_LIST == "@as []" ]] # Creating new list if not exists
then then
CUSTOM_KEYBINDINGS_LIST="['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/']" CUSTOM_KEYBINDINGS_LIST="['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/']"
else # Si il y en a déjà on rajoute un élément à la liste else # If already existing, adding our new element
CUSTOM_KEYBINDINGS_LIST="${CUSTOM_KEYBINDINGS_LIST::-1}, '/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/']" CUSTOM_KEYBINDINGS_LIST="${CUSTOM_KEYBINDINGS_LIST::-1}, '/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/']"
fi fi
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "$CUSTOM_KEYBINDINGS_LIST" # On met à jour la liste gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "$CUSTOM_KEYBINDINGS_LIST" # Updating the list
# On le nomme # Naming it
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/ name 'Flameshot shortcut' # On définit le nom de l'élément qu'on a rajouté gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/ name 'Flameshot shortcut' # Set name
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/ command 'flameshot gui' # On définit la commande de l'élément qu'on a rajouté gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/ command 'flameshot gui' # Set command
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/ binding 'Print' # On définit le raccourci de l'élément qu'on a rajouté gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/ binding 'Print' # Set shortcut

View file

@ -1,34 +1,34 @@
# On récupère la dernière version de x11-emoji-picker # Fetching last versin of x11-emoji-picker
wget -q https://api.github.com/repos/GaZaTu/x11-emoji-picker/releases/latest wget -q https://api.github.com/repos/GaZaTu/x11-emoji-picker/releases/latest
echo "Retrieve the last package..." echo "Retrieve the last package..."
grep 'browser_download_url": ".*.deb"' latest | awk '{ print substr ($0, 32 ) }' | awk '{ print substr( $0, 1, length($0)-1 ) }' > url grep 'browser_download_url": ".*.deb"' latest | awk '{ print substr ($0, 32 ) }' | awk '{ print substr( $0, 1, length($0)-1 ) }' > url
rm latest rm latest
# On télécharge le paquet # Downloading package
wget -q --show-progress -i url -O x11-emoji-picker.deb wget -q --show-progress -i url -O x11-emoji-picker.deb
rm url rm url
# On installe la dépendance # Installing dependencies
wget -q --show-progress http://ftp.br.debian.org/debian/pool/main/i/icu/libicu57_57.1-6+deb9u4_amd64.deb wget -q --show-progress http://ftp.br.debian.org/debian/pool/main/i/icu/libicu57_57.1-6+deb9u4_amd64.deb
sudo apt install ./libicu57_57.1-6+deb9u4_amd64.deb -y sudo apt install ./libicu57_57.1-6+deb9u4_amd64.deb -y
rm libicu57_57.1-6+deb9u4_amd64.deb rm libicu57_57.1-6+deb9u4_amd64.deb
# On l'installe # Installing the emoji picker
sudo apt install ./x11-emoji-picker.deb -y sudo apt install ./x11-emoji-picker.deb -y
# On le supprime # Deleting the .deb
rm x11-emoji-picker.deb rm x11-emoji-picker.deb
# On ajoute un raccourci clavier # Adding the keyboard shortcut
# On récupère la liste des raccourcis personnalisés # Fetching customs keyboard shortcuts
CUSTOM_KEYBINDINGS_LIST=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings) CUSTOM_KEYBINDINGS_LIST=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings)
if [[ $CUSTOM_KEYBINDINGS_LIST == "@as []" ]] # Si il y en a pas on créer construit notre liste if [[ $CUSTOM_KEYBINDINGS_LIST == "@as []" ]] # Creating new list if not exists
then then
CUSTOM_KEYBINDINGS_LIST="['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/']" CUSTOM_KEYBINDINGS_LIST="['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/']"
else # Si il y en a déjà on rajoute un élément à la liste else # If already existing, adding our new element
CUSTOM_KEYBINDINGS_LIST="${CUSTOM_KEYBINDINGS_LIST::-1}, '/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/']" CUSTOM_KEYBINDINGS_LIST="${CUSTOM_KEYBINDINGS_LIST::-1}, '/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/']"
fi fi
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "$CUSTOM_KEYBINDINGS_LIST" # On met à jour la liste gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "$CUSTOM_KEYBINDINGS_LIST" # On met à jour la liste
# On le nomme # Naming it
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/ name 'Emoji Picker' # On définit le nom de l'élément qu'on a rajouté gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/ name 'Emoji Picker' # Set name
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/ command 'emoji-picker' # On définit la commande de l'élément qu'on a rajouté gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/ command 'emoji-picker' # Set command
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/ binding '<Super>semicolon' # On définit le raccourci de l'élément qu'on a rajouté gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/ binding '<Super>semicolon' # Set shortcut
echo "" echo ""
echo "Emoji picker installed" echo "Emoji picker installed"

View file

@ -1,25 +1,25 @@
# Ajoute le dépôt officiel de Fish # Adds the official Fish repository
sudo apt-add-repository ppa:fish-shell/release-3 -y sudo apt-add-repository ppa:fish-shell/release-3 -y
# Met à jour la liste des applications # Updates the list
sudo apt update sudo apt update
# Installe fish, fzf (pour le ^R), bat (pour colorer les `man`), procps (pour SSH), curl (pour télécharger le script du ^R) # Install Fish, fzf (for the reverse search), bat (for the colored manuals), procps (for the SSH), curl (for downloading scripts)
sudo apt install fish fzf bat procps curl -y sudo apt install fish fzf bat procps curl -y
# Définie fish command shell par défaut # Fish default shell
sudo chsh -s /usr/bin/fish $USER sudo chsh -s /usr/bin/fish $USER
# Retire le motd # Removing motd
fish -c 'set -U fish_greeting' fish -c 'set -U fish_greeting'
# Installe le ^R (recherche inversée) # Install ^R (reversed research)
curl -sL https://git.io/fisher | fish -c 'source && fisher install jorgebucaran/fisher' curl -sL https://git.io/fisher | fish -c 'source && fisher install jorgebucaran/fisher'
fish -c 'fisher install jethrokuan/fzf' fish -c 'fisher install jethrokuan/fzf'
# Installe SSH # Install SSH
rm $HOME/.config/fish/functions/fish_ssh_agent.fish 2>/dev/null; wget https://gitlab.com/kyb/fish_ssh_agent/raw/master/functions/fish_ssh_agent.fish -P $HOME/.config/fish/functions/ rm $HOME/.config/fish/functions/fish_ssh_agent.fish 2>/dev/null; wget https://gitlab.com/kyb/fish_ssh_agent/raw/master/functions/fish_ssh_agent.fish -P $HOME/.config/fish/functions/
# Met à jour ma configuration personnalisée SSH # Update with my custom SSH configuration (comment this for you)
rm $HOME/.ssh/config 2>/dev/null; wget https://git.kennel.ml/Anri/myLinuxConfiguration/raw/branch/main/.ssh/config -P $HOME/.ssh/ rm $HOME/.ssh/config 2>/dev/null; wget https://git.kennel.ml/Anri/myLinuxConfiguration/raw/branch/main/.ssh/config -P $HOME/.ssh/
# Met à jour ma configuration personalisée Fish # Update the fish config with mine (edit that once installed for you)
rm $HOME/.config/fish/config.fish 2>/dev/null; wget https://git.kennel.ml/Anri/myLinuxConfiguration/raw/branch/main/.config/fish/config.fish -P $HOME/.config/fish/ rm $HOME/.config/fish/config.fish 2>/dev/null; wget https://git.kennel.ml/Anri/myLinuxConfiguration/raw/branch/main/.config/fish/config.fish -P $HOME/.config/fish/
# Met à jour mon prompt personalisée Fish # Update the prompt with mine
rm $HOME/.config/fish/functions/fish_prompt.fish 2>/dev/null; wget https://git.kennel.ml/Anri/myLinuxConfiguration/raw/branch/main/.config/fish/functions/fish_prompt.fish -P $HOME/.config/fish/functions/ rm $HOME/.config/fish/functions/fish_prompt.fish 2>/dev/null; wget https://git.kennel.ml/Anri/myLinuxConfiguration/raw/branch/main/.config/fish/functions/fish_prompt.fish -P $HOME/.config/fish/functions/
# Change les couleurs (basé sur Base16 Eighties) # Updating color scheme (based on Base16 Eighties)
fish -c 'set -U fish_color_normal normal' fish -c 'set -U fish_color_normal normal'
fish -c 'set -U fish_color_command 99cc99' fish -c 'set -U fish_color_command 99cc99'
fish -c 'set -U fish_color_quote ffcc66' fish -c 'set -U fish_color_quote ffcc66'

View file

@ -1,12 +1,12 @@
# On récupère la dernière version d'Obsidian # Fetching last Obsidian version
wget -q https://api.github.com/repos/obsidianmd/obsidian-releases/releases/latest wget -q https://api.github.com/repos/obsidianmd/obsidian-releases/releases/latest
echo "Retrieve the last package..." echo "Retrieve the last package..."
grep -n 'browser_download_url": ".*.snap"' latest | awk '{ print substr ($0, 36 ) }' | awk '{ print substr( $0, 1, length($0)-1 ) }' > url grep -n 'browser_download_url": ".*.snap"' latest | awk '{ print substr ($0, 36 ) }' | awk '{ print substr( $0, 1, length($0)-1 ) }' > url
rm latest rm latest
# On télécharge le paquet # Downloading package
wget -q --show-progress -i url -O obsidian.snap wget -q --show-progress -i url -O obsidian.snap
rm url rm url
# On l'installe # Installing
sudo snap install --dangerous obsidian.snap sudo snap install --dangerous obsidian.snap
# On le supprime # Removing package
rm obsidian.snap rm obsidian.snap

View file

@ -1,6 +1,6 @@
# On télécharge le paquet # Download package
wget -q --show-progress https://download.onlyoffice.com/install/desktop/editors/linux/onlyoffice-desktopeditors_amd64.deb -O onlyoffice.deb wget -q --show-progress https://download.onlyoffice.com/install/desktop/editors/linux/onlyoffice-desktopeditors_amd64.deb -O onlyoffice.deb
# On l'installe # Installing OnlyOffice
sudo apt install ./onlyoffice.deb -y sudo apt install ./onlyoffice.deb -y
# On le supprime # Removing package
rm onlyoffice.deb rm onlyoffice.deb

View file

@ -1,6 +1,6 @@
# On télécharge le paquet # Downloading package
wget -q --show-progress https://builds.parsec.app/package/parsec-linux.deb -O parsec.deb wget -q --show-progress https://builds.parsec.app/package/parsec-linux.deb -O parsec.deb
# On l'installe # Installing Parsec
sudo apt install ./parsec.deb -y sudo apt install ./parsec.deb -y
# On le supprime # Removing package
rm parsec.deb rm parsec.deb

View file

@ -1,25 +1,25 @@
# On s'assure que les versions Snap et flatpak soient désinstallés # We make sure that Snap and flatpak versions are uninstalled
sudo snap remove spotify 2> /dev/null sudo snap remove spotify 2> /dev/null
sudo flatpak uninstall com.spotify.Client 2> /dev/null sudo flatpak uninstall com.spotify.Client 2> /dev/null
# On installe la version depuis le site officiel # We install the version from the official website
sudo apt update sudo apt update
sudo apt install curl -y sudo apt install curl -y
curl -sS https://download.spotify.com/debian/pubkey_0D811D58.gpg | sudo apt-key add - curl -sS https://download.spotify.com/debian/pubkey_0D811D58.gpg | sudo apt-key add -
echo "deb http://repository.spotify.com stable non-free" | sudo tee /etc/apt/sources.list.d/spotify.list echo "deb http://repository.spotify.com stable non-free" | sudo tee /etc/apt/sources.list.d/spotify.list
sudo apt update sudo apt update
sudo apt install spotify-client -y sudo apt install spotify-client -y
# On installe les préquis pour build et installé le patch # We install the prerequisites to build and install the patch (Git and Rust will be installed and not removed)
sudo apt install git make build-essential -y sudo apt install git make build-essential -y
curl https://sh.rustup.rs -sSf | sh -s -- -y curl https://sh.rustup.rs -sSf | sh -s -- -y
source $HOME/.cargo/env source $HOME/.cargo/env
# On télécharge et build le patch # Download and build the patch
git clone https://github.com/abba23/spotify-adblock.git git clone https://github.com/abba23/spotify-adblock.git
cd spotify-adblock cd spotify-adblock
make make
# On installe le patch # Install the patch
sudo make install sudo make install
# On supprime le dossier # Removing sourcecode folder
cd .. cd ..
rm -rf spotify-adblock rm -rf spotify-adblock
# On remplace le raccourci Ubuntu # We replace the Ubuntu desktop shortcut
sudo sed -i "7s#.*#Exec=env LD_PRELOAD=/usr/local/lib/spotify-adblock.so spotify %U#" /usr/share/applications/spotify.desktop sudo sed -i "7s#.*#Exec=env LD_PRELOAD=/usr/local/lib/spotify-adblock.so spotify %U#" /usr/share/applications/spotify.desktop

View file

@ -1,11 +1,11 @@
# On ajoute le dépôt officiel de Syncthing # We add the official deposit of Syncthing
sudo apt update sudo apt update
sudo apt install curl -y sudo apt install curl -y
sudo curl -s -o /usr/share/keyrings/syncthing-archive-keyring.gpg https://syncthing.net/release-key.gpg sudo curl -s -o /usr/share/keyrings/syncthing-archive-keyring.gpg https://syncthing.net/release-key.gpg
echo "deb [signed-by=/usr/share/keyrings/syncthing-archive-keyring.gpg] https://apt.syncthing.net/ syncthing stable" | sudo tee /etc/apt/sources.list.d/syncthing.list echo "deb [signed-by=/usr/share/keyrings/syncthing-archive-keyring.gpg] https://apt.syncthing.net/ syncthing stable" | sudo tee /etc/apt/sources.list.d/syncthing.list
# On installe Syncthing # Install Syncthing
sudo apt update sudo apt update
sudo apt install syncthing -y sudo apt install syncthing -y
# On le lance au démarrage # Launch it at startup
sudo systemctl enable syncthing@$USER.service sudo systemctl enable syncthing@$USER.service
sudo systemctl start syncthing@$USER.service sudo systemctl start syncthing@$USER.service

View file

@ -1,18 +1,18 @@
# On installe les dépendances # Installing depedencies
sudo apt update sudo apt update
sudo apt install libsdl2-dev git pkg-config automake make autoconf libtool -y sudo apt install libsdl2-dev git pkg-config automake make autoconf libtool -y
# On télécharge et build GL4D # Downloading and building GL4D
git clone https://github.com/noalien/GL4Dummies.git git clone https://github.com/noalien/GL4Dummies.git
cd GL4Dummies cd GL4Dummies
make -f Makefile.autotools make -f Makefile.autotools
./configure ./configure
make make
# On installe GL4D # Installing GL4D
sudo make install sudo make install
# On supprime le code source # Removing sourcecode
cd .. cd ..
rm -rf GL4Dummies rm -rf GL4Dummies
# Fix pour les librairies partagées (https://stackoverflow.com/a/9395355) # Fix for shared libraries (https://stackoverflow.com/a/9395355)
sudo ldconfig sudo ldconfig
echo "" echo ""
@ -23,4 +23,4 @@ echo "export LD_LIBRARY_PATH=\$LD_LIBRARY_PATH:\$HOME/local/lib"
echo "" echo ""
echo "If you use Fish, add theses lines to your ~/.config/fish/config.fish" echo "If you use Fish, add theses lines to your ~/.config/fish/config.fish"
echo "set -gx PATH $HOME/local/bin $PATH" echo "set -gx PATH $HOME/local/bin $PATH"
echo "set -gx LD_LIBRARY_PATH $HOME/local/lib $LD_LIBRARY_PATH" echo "set -gx LD_LIBRARY_PATH $HOME/local/lib $LD_LIBRARY_PATH"