From 220ba0e96796efadbb41ce222e8ba9a7e20349de Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Tue, 11 Oct 2022 15:28:23 +0200
Subject: [PATCH] add same abbr for wsl

---
 arch_wsl.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/arch_wsl.sh b/arch_wsl.sh
index 05a2c24..d7795b2 100644
--- a/arch_wsl.sh
+++ b/arch_wsl.sh
@@ -126,6 +126,7 @@ then
     fish -c "abbr gc 'git clone'"
     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'"
 
     # === Micro configuration ==
     git config --global core.editor "micro"