From 325e22928d21aa6b4b7b815a67bb46c51dd71536 Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Tue, 11 Oct 2022 15:30:37 +0200
Subject: [PATCH] add ocamlbuild

---
 arch.sh     | 1 +
 arch_wsl.sh | 1 +
 2 files changed, 2 insertions(+)

diff --git a/arch.sh b/arch.sh
index 491b99e..747badc 100644
--- a/arch.sh
+++ b/arch.sh
@@ -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
diff --git a/arch_wsl.sh b/arch_wsl.sh
index d7795b2..e76d71f 100644
--- a/arch_wsl.sh
+++ b/arch_wsl.sh
@@ -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"