Anri/confOS
1
0
Fork 0
Code Issues 27 Pull requests Projects Releases Wiki Activity

add ocamlbuild

Browse source
This commit is contained in:
Mylloon 2022-10-11 15:30:37 +02:00
parent 220ba0e967
commit 325e22928d
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
2 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
arch.sh
View file

@ -105,6 +105,7 @@ then
fish -c "abbr cl 'cat src/**.* | sed \'/^\s*$/d\' | wc -l'"
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 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

1
arch_wsl.sh
View file

@ -127,6 +127,7 @@ then
fish -c "abbr cl 'cat src/**.* | sed \'/^\s*$/d\' | wc -l'"
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'"
# === Micro configuration ==
git config --global core.editor "micro"