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

don't use micro as default editor

Browse source
This commit is contained in:
Mylloon 2023-04-16 13:23:09 +02:00
parent d057065b91
commit 6e47599cba
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
2 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
arch.sh
View file

@ -112,7 +112,6 @@ main() {
gsettings set org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ next-tab "<Control>tab" # ctrl+tab gsettings set org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ next-tab "<Control>tab" # ctrl+tab
# === Micro configuration == # === Micro configuration ==
fish -c "set -Ux EDITOR micro"
mkdir "$HOME"/.config/micro mkdir "$HOME"/.config/micro
wget -q --show-progress https://git.mylloon.fr/Anri/confOS/raw/branch/main/.config/micro/settings.json -O "$HOME"/.config/micro/settings.json wget -q --show-progress https://git.mylloon.fr/Anri/confOS/raw/branch/main/.config/micro/settings.json -O "$HOME"/.config/micro/settings.json
micro -plugin install detectindent micro -plugin install detectindent

1
arch_wsl.sh
View file

@ -110,7 +110,6 @@ main() {
wget -q https://git.mylloon.fr/Anri/confOS/raw/branch/main/.config/fish/conf.d/alias.fish -O "$HOME"/.config/fish/conf.d/alias.fish wget -q https://git.mylloon.fr/Anri/confOS/raw/branch/main/.config/fish/conf.d/alias.fish -O "$HOME"/.config/fish/conf.d/alias.fish
# === Micro configuration == # === Micro configuration ==
fish -c "set -Ux EDITOR micro"
mkdir "$HOME"/.config/micro mkdir "$HOME"/.config/micro
wget -q --show-progress https://git.mylloon.fr/Anri/confOS/raw/branch/main/.config/micro/settings.json -O "$HOME"/.config/micro/settings.json wget -q --show-progress https://git.mylloon.fr/Anri/confOS/raw/branch/main/.config/micro/settings.json -O "$HOME"/.config/micro/settings.json
micro -plugin install detectindent micro -plugin install detectindent