From 3201f027ac09433f718fdff9f807a63c25f1585b Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Mon, 9 Oct 2023 17:11:36 +0200
Subject: [PATCH] Use micro as default editor

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

diff --git a/arch.sh b/arch.sh
index 07b79b6..bf4cd82 100644
--- a/arch.sh
+++ b/arch.sh
@@ -123,6 +123,7 @@ main() {
   mkdir "$HOME"/.config/micro
   wget -q --show-progress ${repo}/.config/micro/settings.json -O "$HOME"/.config/micro/settings.json
   micro -plugin install detectindent
+  fish -c "set -Ux EDITOR micro"
 
   # === GL4D ==
   # Download, build and installation
diff --git a/arch_wsl.sh b/arch_wsl.sh
index 53cc338..e793235 100644
--- a/arch_wsl.sh
+++ b/arch_wsl.sh
@@ -124,6 +124,7 @@ main() {
   mkdir "$HOME"/.config/micro
   wget -q --show-progress ${repo}/.config/micro/settings.json -O "$HOME"/.config/micro/settings.json
   micro -plugin install detectindent
+  fish -c "set -Ux EDITOR micro"
 
   # === GL4D ==
   # Download, build and installation