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

add micro plugin

Browse source
This commit is contained in:
Mylloon 2022-07-24 22:37:38 +02:00
parent 3d6a276162
commit a91598ce61
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
arch.sh
View file

@ -117,6 +117,7 @@ then
# === Micro configuration == # === Micro configuration ==
git config --global core.editor "micro" git config --global core.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 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
# === GL4D == # === GL4D ==
# Download and build # Download and build