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

Use nano instead of micro for default editor

Browse source
This commit is contained in:
Mylloon 2023-10-09 17:34:17 +02:00
parent 250a88c267
commit c263305671
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
2 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
arch.sh
View file

@ -119,11 +119,13 @@ main() {
gsettings set org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ zoom-normal "<Control>agrave" # ctrl+0 gsettings set org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ zoom-normal "<Control>agrave" # ctrl+0
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
# === Default editor ==
fish -c "set -Ux EDITOR nano"
# === Micro configuration == # === Micro configuration ==
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

4
arch_wsl.sh
View file

@ -120,11 +120,13 @@ main() {
# Add aliases # Add aliases
wget -q ${repo}/.config/fish/conf.d/alias.fish -O "$HOME"/.config/fish/conf.d/alias.fish wget -q ${repo}/.config/fish/conf.d/alias.fish -O "$HOME"/.config/fish/conf.d/alias.fish
# === Default editor ==
fish -c "set -Ux EDITOR nano"
# === Micro configuration == # === Micro configuration ==
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