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

use micro as the default editor

Browse source
This commit is contained in:
Mylloon 2022-08-04 19:18:43 +02:00
parent 4bbe95f3c7
commit efd9cf2d9b
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

@ -122,6 +122,7 @@ then
# === Micro configuration ==
git config --global core.editor "micro"
set -Ux EDITOR micro
wget -q --show-progress https://git.kennel.ml/Anri/confOS/raw/branch/main/.config/micro/settings.json -O "$HOME"/.config/micro/settings.json
micro -plugin install detectindent

1
wsl.sh
View file

@ -96,6 +96,7 @@ then
curl https://getmic.ro | GETMICRO_PLATFORM=linux64 bash
cd - || exit
git config --global core.editor "micro"
set -Ux EDITOR micro
wget -q --show-progress https://git.kennel.ml/Anri/confOS/raw/branch/main/.config/micro/settings.json -O "$HOME"/.config/micro/settings.json
micro -plugin install detectindent