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

Use micro as default editor

Browse source
This commit is contained in:
Mylloon 2023-10-09 17:11:36 +02:00
parent fc6b87a929
commit 3201f027ac
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

@ -123,6 +123,7 @@ main() {
mkdir "$HOME"/.config/micro mkdir "$HOME"/.config/micro
wget -q --show-progress ${repo}/.config/micro/settings.json -O "$HOME"/.config/micro/settings.json wget -q --show-progress ${repo}/.config/micro/settings.json -O "$HOME"/.config/micro/settings.json
micro -plugin install detectindent micro -plugin install detectindent
fish -c "set -Ux EDITOR micro"
# === GL4D == # === GL4D ==
# Download, build and installation # Download, build and installation

1
arch_wsl.sh
View file

@ -124,6 +124,7 @@ main() {
mkdir "$HOME"/.config/micro mkdir "$HOME"/.config/micro
wget -q --show-progress ${repo}/.config/micro/settings.json -O "$HOME"/.config/micro/settings.json wget -q --show-progress ${repo}/.config/micro/settings.json -O "$HOME"/.config/micro/settings.json
micro -plugin install detectindent micro -plugin install detectindent
fish -c "set -Ux EDITOR micro"
# === GL4D == # === GL4D ==
# Download, build and installation # Download, build and installation