This commit is contained in:
Mylloon 2022-11-06 15:12:38 +01:00
parent 004ddaae9c
commit 8e2c779d6d
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
2 changed files with 2 additions and 2 deletions

View file

@ -109,7 +109,7 @@ then
fish -c "abbr ocamlbuild 'ocamlbuild -no-hygiene'" fish -c "abbr ocamlbuild 'ocamlbuild -no-hygiene'"
fish -c "abbr ocml 'clear; ocamlopt *.ml && rm *.o *.cmx *.out; ocamlbuild -no-hygiene test.byte; ./test.byte; rm test.byte'" fish -c "abbr ocml 'clear; ocamlopt *.ml && rm *.o *.cmx *.out; ocamlbuild -no-hygiene test.byte; ./test.byte; rm test.byte'"
fish -c "abbr opamupdate 'opam update && opam upgrade -y'" fish -c "abbr opamupdate 'opam update && opam upgrade -y'"
fish -c "abbr yay-rebuild 'checkrebuild | awk \"{print \$2}\" | xargs -r yay -S --rebuildtree --noconfirm'" fish -c "abbr yay-rebuild 'checkrebuild | awk \'{print \$2}\' | xargs -r yay -S --rebuildtree --noconfirm'"
# Fish by default in terminal app # Fish by default in terminal app
profil=$(gsettings get org.gnome.Terminal.ProfilesList list) profil=$(gsettings get org.gnome.Terminal.ProfilesList list)
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ use-custom-command true gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ use-custom-command true

View file

@ -133,7 +133,7 @@ then
fish -c "abbr ocamlbuild 'ocamlbuild -no-hygiene'" fish -c "abbr ocamlbuild 'ocamlbuild -no-hygiene'"
fish -c "abbr ocml 'clear; ocamlopt *.ml && rm *.o *.cmx *.out; ocamlbuild -no-hygiene test.byte; ./test.byte; rm test.byte'" fish -c "abbr ocml 'clear; ocamlopt *.ml && rm *.o *.cmx *.out; ocamlbuild -no-hygiene test.byte; ./test.byte; rm test.byte'"
fish -c "abbr opamupdate 'opam update && opam upgrade -y'" fish -c "abbr opamupdate 'opam update && opam upgrade -y'"
fish -c "abbr yay-rebuild 'checkrebuild | awk \"{print \$2}\" | xargs -r yay -S --rebuildtree --noconfirm'" fish -c "abbr yay-rebuild 'checkrebuild | awk \'{print \$2}\' | xargs -r yay -S --rebuildtree --noconfirm'"
# === Micro configuration == # === Micro configuration ==
git config --global core.editor "micro" git config --global core.editor "micro"