add ocml abbr
This commit is contained in:
parent
f1c774c0cd
commit
fea7eb431c
2 changed files with 2 additions and 0 deletions
1
arch.sh
1
arch.sh
|
@ -107,6 +107,7 @@ then
|
|||
fish -c "abbr mirrors_update \"curl -s 'https://archlinux.org/mirrorlist/?country=FR&country=GB&protocol=https&use_mirror_status=on' | sed -e 's/^#Server/Server/' -e '/^#/d' | sudo bash -c 'rankmirrors -n 7 - > /etc/pacman.d/mirrorlist' && sudo pacman -Syy\""
|
||||
fish -c "abbr vocaml 'ocamlopt *.ml && rm *.o *.cmx *.out'"
|
||||
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 by default in terminal app
|
||||
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
|
||||
|
|
|
@ -131,6 +131,7 @@ then
|
|||
fish -c "abbr mirrors_update \"curl -s 'https://archlinux.org/mirrorlist/?country=FR&country=GB&protocol=https&use_mirror_status=on' | sed -e 's/^#Server/Server/' -e '/^#/d' | sudo bash -c 'rankmirrors -n 7 - > /etc/pacman.d/mirrorlist' && sudo pacman -Syy\""
|
||||
fish -c "abbr vocaml 'ocamlopt *.ml && rm *.o *.cmx *.out'"
|
||||
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'"
|
||||
|
||||
# === Micro configuration ==
|
||||
git config --global core.editor "micro"
|
||||
|
|
Loading…
Reference in a new issue