confOS/arch.sh
2022-11-28 21:37:33 +01:00

422 lines
24 KiB
Bash

#!/usr/bin/env bash
set -o errexit # crash the script when a command crash
set -o pipefail # same as above
set -o nounset # crash when a variable doesnt exist
# TRACE=1 for debug
if [[ "${TRACE-0}" == "1" ]]; then
set -o xtrace
fi
cd "$(dirname "$0")" # change script directory
main() {
# === Remove extra packages ==
pacman -D --asexplicit archlinux-keyring # keep this package
pacman -Rsn --noconfirm epiphany gnome-maps cheese gnome-weather gnome-music \
# gnome-firefox, maps, caméra, météo, musique
gnome-books vim gnome-boxes gnome-photos malcontent \
# liseuse, vim, machines, photos, parental control
gnome-contacts totem gedit "$(pacman -Qqtd)"
# contacts, vidéos, gedit dependencies
# === Colors package manager ==
sed -i "s/#Color/Color/g" /etc/pacman.conf
# === Yay ==
git clone https://aur.archlinux.org/yay.git
cd yay || exit
makepkg -si --noconfirm
# Remove folder
cd ..
rm -rf yay
# Enable *-git package updates
yay -Y --devel --save
# === AUR packages ==
yay -S --noconfirm spotify-dev obsidian parsec-bin onlyoffice-bin \
x11-emoji-picker-git gnome-shell-extension-dash-to-dock \
gnome-shell-extension-desktop-icons-ng dracula-gtk-theme \
dracula-icons-git vscodium-bin ttf-symbola \
gnome-shell-extension-appindicator-git touchegg \
gnome-shell-extension-x11gestures \
gnome-shell-extension-no-overview nerd-fonts-meslo \
gnome-shell-extension-gsconnect betterdiscord-installer \
spim-svn gnome-shell-extension-rounded-window-corners \
gnome-shell-extension-alphabetical-grid-extension \
gnome-shell-extension-tiling-assistant \
evolution-etesync-git \
gnome-shell-extension-quick-settings-tweaks-git
# === Disable wayland ==
sed -i "s/#Wayland/Wayland/g" /etc/gdm/custom.conf
# === Locales ==
sed -i "s/fr_FR.UTF-8.UTF-8 UTF-8/fr_FR.UTF8 UTF-8/g" /etc/locale.gen
locale-gen
localectl set-locale fr_FR.UTF-8
# === Fish ==
# Remove motd
fish -c "set -U fish_greeting"
# Reversed search
curl -sL https://git.io/fisher | fish -c "source && fisher install jorgebucaran/fisher"
fish -c "fisher install jethrokuan/fzf"
fish -c "fisher install jorgebucaran/autopair.fish"
# SSH
rm "$HOME"/.config/fish/functions/fish_ssh_agent.fish 2> /dev/null
wget -q https://gitlab.com/kyb/fish_ssh_agent/raw/master/functions/fish_ssh_agent.fish -P "$HOME"/.config/fish/functions/
mkdir "$HOME"/.ssh
# Custom config.fish
rm "$HOME"/.config/fish/config.fish 2> /dev/null
wget -q https://git.kennel.ml/Anri/confOS/raw/branch/main/.config/fish/config_arch.fish -O "$HOME"/.config/fish/config.fish
# Custom prompt shell (based on https://github.com/fish-shell/fish-shell/blob/master/share/tools/web_config/themes/Base16%20Eighties.theme)
# Modifications: Changed comment color
rm "$HOME"/.config/fish/functions/fish_prompt.fish 2> /dev/null
wget -q https://git.kennel.ml/Anri/confOS/raw/branch/main/.config/fish/functions/fish_prompt.fish -P "$HOME"/.config/fish/functions/
fish -c "set -U fish_color_normal normal"
fish -c "set -U fish_color_command 99cc99"
fish -c "set -U fish_color_quote ffcc66"
fish -c "set -U fish_color_redirection d3d0c8"
fish -c "set -U fish_color_end cc99cc"
fish -c "set -U fish_color_error f2777a"
fish -c "set -U fish_color_param d3d0c8"
fish -c "set -U fish_color_comment 5c6773"
fish -c "set -U fish_color_match 6699cc"
fish -c "set -U fish_color_selection white --bold --background=brblack"
fish -c "set -U fish_color_search_match bryellow --background=brblack"
fish -c "set -U fish_color_history_current --bold"
fish -c "set -U fish_color_operator 6699cc"
fish -c "set -U fish_color_escape 66cccc"
fish -c "set -U fish_color_cwd green"
fish -c "set -U fish_color_cwd_root red"
fish -c "set -U fish_color_valid_path --underline"
fish -c "set -U fish_color_autosuggestion 747369"
fish -c "set -U fish_color_user brgreen"
fish -c "set -U fish_color_host normal"
fish -c "set -U fish_color_cancel -r"
fish -c "set -U fish_pager_color_completion normal"
fish -c "set -U fish_pager_color_description B3A06D yellow"
fish -c "set -U fish_pager_color_prefix normal --bold --underline"
fish -c "set -U fish_pager_color_progress brwhite --background=cyan"
fish -c "set -U fish_pager_color_selected_background --background=brblack"
fish -c "set -U fish_color_option d3d0c8"
fish -c "set -U fish_color_keyword 99cc99"
# EXA colors
fish -c "set -Ux EXA_COLORS 'di=1;36:da=35'"
# Add aliases
fish -c "abbr ls 'exa --git --icons -gl'"
fish -c "abbr cp 'cp -rv'"
fish -c "abbr rm 'rm -rf'"
fish -c "abbr mgcc 'clear; gcc -Wall -Wextra -Wshadow -Wcast-align -Wstrict-prototypes -fanalyzer -fsanitize=undefined -g main.c && ./a.out; rm a.out 2> /dev/null'"
fish -c "abbr vgcc 'clear; gcc -Wall -Wextra -Wshadow -Wcast-align -Wstrict-prototypes -fanalyzer -fsanitize=undefined -g main.c && valgrind --leak-check=full --show-leak-kinds=all --track-origins=yes -s ./a.out; rm a.out 2> /dev/null'"
fish -c "abbr mg++ 'clear; g++ -Wall -Wextra -Wshadow -Wnon-virtual-dtor -pedantic -g -Wold-style-cast -Wsign-conversion main.cpp && ./a.out; rm a.out 2> /dev/null'"
fish -c "abbr vg++ 'clear; g++ -Wall -Wextra -Wshadow -Wnon-virtual-dtor -pedantic -g -Wold-style-cast -Wsign-conversion main.cpp && valgrind --leak-check=full --show-leak-kinds=all --track-origins=yes -s ./a.out; rm a.out 2> /dev/null'"
fish -c "abbr mmake 'clear; make && ./main; make clean 2> /dev/null'"
fish -c "abbr vmake 'clear; make && valgrind --leak-check=full --show-leak-kinds=all --track-origins=yes -s ./main; make clean 2> /dev/null'"
fish -c "abbr activate 'source bin/activate.fish'"
fish -c "abbr c 'command'"
fish -c "abbr vs 'codium .'"
fish -c "abbr code 'codium'"
fish -c "abbr untgz 'tar xvzf'"
fish -c "abbr tgz 'tar czf \"Archive.tar.gz\"'"
fish -c "abbr - 'cd -'"
fish -c "abbr cd.. 'cd ..'"
fish -c "abbr cat 'bat'"
fish -c "abbr nano 'micro'"
fish -c "abbr bigupdate 'yay -Syu --noconfirm && tldr --update && yes | sdk update && yes | sdk upgrade java'"
fish -c "abbr d 'nautilus . -w &> /dev/null & disown'"
fish -c "abbr gc 'git clone'"
fish -c "abbr cl 'cat src/**.* | sed \'/^\s*$/d\' | wc -l'"
fish -c "abbr mirrors_update \"curl -s 'https://archlinux.org/mirrorlist/?country=FR&country=GB&protocol=https&use_mirror_status=on' | sed -e 's/^#Server/Server/' -e '/^#/d' | sudo bash -c 'rankmirrors -n 7 - > /etc/pacman.d/mirrorlist' && sudo pacman -Syy\""
fish -c "abbr ocamlbuild 'ocamlbuild -no-hygiene'"
fish -c "abbr opamupdate 'opam update && opam upgrade -y'"
fish -c "abbr yay-rebuild 'checkrebuild | awk \'{print \$2}\' | xargs -r yay -S --rebuildtree --noconfirm'"
fish -c "abbr pacman-clean 'sudo pacman -Rsn \$(pacman -Qqtd) --noconfirm'"
fish -c "abbr diff 'delta'"
fish -c "abbr grep 'grep -Irni \'txt\' .'"
# Fish by default in terminal app
local profil
profil=$(gsettings get org.gnome.Terminal.ProfilesList list)
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ use-custom-command true
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ custom-command "fish"
# Default colors
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ use-theme-colors "false"
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ foreground-color "rgb(211,208,200)"
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ background-color "rgb(45,45,45)"
# Size and font
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ use-system-font false
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ default-size-columns 105
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ default-size-rows 25
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ font "MesloLGM Nerd Font 12"
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ use-system-font false
# Keybinds
gsettings set org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ close-tab "<Control>w"
gsettings set org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ new-tab "<Control>t"
gsettings set org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ zoom-in "<Control>equal" # ctrl++
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
# === Micro configuration ==
git config --global core.editor "micro"
fish -c "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
# === GL4D ==
# Download, build and installation
git clone https://github.com/noalien/GL4Dummies.git
cd GL4Dummies || exit
make -f Makefile.autotools
./configure
make
make install
cd ..
rm -rf GL4Dummies
# Fix for shared libraries (https://stackoverflow.com/a/9395355)
ldconfig
# Add to path
fish -c "set -Ua LD_LIBRARY_PATH /usr/local/lib"
# === Sign commits ==
git config --global commit.gpgsign true
# === Rust ==
curl --proto "=https" --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
source "$HOME"/.cargo/env
# Dev tools
rustup component add rust-analysis rls
# Add Cargo packages from Rust
fish -c "fish_add_path $HOME/.cargo/bin"
# === tldr ==
cargo install tealdeer
tldr --update
# Fish completion
local latest_tldr url_tldr
latest_tldr=$(wget -qO- https://api.github.com/repos/dbrgn/tealdeer/releases/latest)
url_tldr=$(grep 'browser_download_url": ".*/completions_fish"' <<< "$latest_tldr" | awk "{ print substr ($0, 32 ) }" | awk "{ print substr( $0, 1, length($0)-1 ) }")
wget -q --show-progress "$url_tldr" -O completions_fish
mv completions_fish ~/.config/fish/completions/tldr.fish
# === Spotify ==
bash <(curl -sSL https://raw.githubusercontent.com/SpotX-CLI/SpotX-Linux/main/install.sh) -ce
# === Syncthing ==
systemctl enable syncthing@"$USER".service
systemctl start syncthing@"$USER".service
# === Flameshot ==
# Custom configuration
rm "$HOME"/.config/flameshot/flameshot.ini 2> /dev/null
wget -q --show-progress https://git.kennel.ml/Anri/confOS/raw/branch/main/.config/flameshot/flameshot.ini -P "$HOME"/.config/flameshot/
# Change keybindings
gsettings set org.gnome.shell.keybindings show-screenshot-ui "[]"
local custom_keybindings_list
custom_keybindings_list=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings)
if [[ $custom_keybindings_list == "@as []" ]] # creating new list if not exists
then
custom_keybindings_list="['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/']"
else # if already existing, adding our new element
custom_keybindings_list="${custom_keybindings_list::-1}, '/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/']"
fi
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "$custom_keybindings_list"
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/ name "Flameshot" # set name
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/ command "flameshot gui" # set command
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/flameshot-shortcut/ binding "Print" # set key
# === Emoji picker ==
# Custom configuration
rm "$HOME"/.config/gazatu.xyz/emoji-picker.ini 2>/dev/null
wget -q --show-progress https://git.kennel.ml/Anri/confOS/raw/branch/main/.config/gazatu.xyz/emoji-picker.ini -P "$HOME"/.config/gazatu.xyz/
# Add keybinding
custom_keybindings_list=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings)
if ! echo "$custom_keybindings_list" | grep -q "x11-emoji-picker"
then
if [ "$custom_keybindings_list" = "@as []" ] # creating new list if not exists
then
custom_keybindings_list="['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/']"
else # if already existing, adding our new element
custom_keybindings_list=$(echo "$custom_keybindings_list" | sed "s/\[//" | sed "s/\]//")
custom_keybindings_list="[$custom_keybindings_list, '/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/']"
fi
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "$custom_keybindings_list" # update the list
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/ name "Emoji-Picker" # set name
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/ command "emoji-picker" # set command
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/ binding "<Super>period" # set shortcut
fi
# === Gnome configuration ==
# Extensions
killall -HUP gnome-shell # restart gnome
gsettings set org.gnome.shell disable-user-extensions false # enable extensions globally
gsettings set org.gnome.shell disable-extension-version-validation true # legacy extension support
gnome-extensions enable dash-to-dock@micxgx.gmail.com
gnome-extensions enable ding@rastersoft.com
gnome-extensions enable x11gestures@joseexposito.github.io
gnome-extensions enable appindicatorsupport@rgcjonas.gmail.com
gnome-extensions enable no-overview@fthx
gnome-extensions enable gsconnect@andyholmes.github.io
gnome-extensions enable rounded-window-corners@yilozt
gnome-extensions enable AlphabeticalAppGrid@stuarthayhurst
gnome-extensions enable tiling-assistant@leleat-on-github
gnome-extensions enable quick-settings-tweaks@qwreey
# Nautilus keybinding
custom_keybindings_list=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings)
if [[ $custom_keybindings_list == "@as []" ]] # creating new list if not exists
then
custom_keybindings_list="['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/']"
else # if already existing, adding our new element
custom_keybindings_list="${custom_keybindings_list::-1}, '/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/']"
fi
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "$custom_keybindings_list" # updating the list
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/ name "Nautilus" # set name
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/ command "nautilus -w" # set command
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/nautilus-shortcut/ binding "<Super>E" # set shortcut
gsettings set org.gnome.shell.extensions.dash-to-dock click-action minimize # add minimized window on dock click
gsettings set org.gnome.shell.extensions.dash-to-dock show-trash false # add Dash to Dock
gsettings set org.gnome.shell.extensions.dash-to-dock show-apps-at-top true # apps button at left
gsettings set org.gnome.desktop.wm.preferences button-layout ":minimize,maximize,close" # affiche les boutons maximisé et minimisé
gsettings set org.gnome.desktop.wm.preferences audible-bell false # remove sound of notification when going too far away in a window
gsettings set org.gnome.desktop.wm.keybindings close "['<Super>Q', '<Alt>F4']" # Alt-F4 keybinding
gsettings set org.gnome.desktop.wm.keybindings switch-windows "['<Alt>Tab', '<Super>Tab']" # new behaviour
gsettings set org.gnome.desktop.wm.keybindings switch-applications "[]" # old behaviour
gsettings set org.gnome.desktop.interface clock-show-seconds true # affiche les secondes dans l'horloge
gsettings set org.gnome.desktop.interface show-battery-percentage true # show battery poucentage
gsettings set org.gnome.desktop.interface enable-hot-corners false # disable top-right corner "activities"
gsettings set org.gnome.desktop.background show-desktop-icons true # show icons on desktop
gsettings set org.gnome.nautilus.preferences show-image-thumbnails "always" # thumbnails nautilus
gsettings set org.gnome.nautilus.preferences always-use-location-entry true # allow path change
gsettings set org.gnome.settings-daemon.plugins.power sleep-inactive-ac-type "nothing" # no sleep on AC
gsettings set org.gnome.settings-daemon.plugins.color night-light-enabled true # mode "nuit" (lumière bleue)
gsettings set org.gnome.desktop.peripherals.touchpad click-method areas # right click on laptop
gsettings set org.gnome.desktop.peripherals.mouse speed -0.6 # mouse speed
# Theme
gsettings set org.gnome.desktop.interface color-scheme prefer-dark
gsettings set org.gnome.desktop.interface gtk-theme Dracula
gsettings set org.gnome.desktop.wm.preferences theme Dracula
gsettings set org.gnome.desktop.interface icon-theme "Dracula"
# Configuration TextEditor
gsettings set org.gnome.TextEditor style-scheme 'kate-dark'
gsettings set org.gnome.TextEditor indent-style 'space'
gsettings set org.gnome.TextEditor tab-width "uint32 4"
gsettings set org.gnome.TextEditor show-map true
gsettings set org.gnome.TextEditor show-line-numbers true
# Add gesture and tap on touchpad
gsettings set org.gnome.desktop.peripherals.touchpad tap-to-click true
systemctl enable touchegg.service
systemctl start touchegg
# === Clipboard manager ==
gsettings set org.gnome.shell.keybindings toggle-message-tray "[]"
custom_keybindings_list=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings)
if [[ $custom_keybindings_list == "@as []" ]] # creating new list if not exists
then
custom_keybindings_list="['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/clipboard-shortcut/']"
else # if already existing, adding our new element
custom_keybindings_list="${custom_keybindings_list::-1}, '/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/clipboard-shortcut/']"
fi
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "$custom_keybindings_list" # updating the list
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/clipboard-shortcut/ name "Copyq" # set name
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/clipboard-shortcut/ command "copyq show" # set command
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/clipboard-shortcut/ binding "<Super>V" # set shortcut
copyq > /dev/null & disown
copyq config autostart true
echo "style_main_window=true" >> /usr/share/copyq/themes/dark.ini
copyq loadTheme /usr/share/copyq/themes/dark.ini
# === Power plan ==
systemctl enable tlp.service
systemctl mask systemd-rfkill.service
systemctl mask systemd-rfkill.socket
# === Java ==
curl -s "https://get.sdkman.io" | bash
source "$HOME/.sdkman/bin/sdkman-init.sh"
if [ -x "$HOME"/.config/fish ] ; then
if [ ! -f "$HOME"/.config/fish/functions/fisher.fish ] ; then # install fisher if not already installed
curl -sL https://git.io/fisher | fish -c "source && fisher install jorgebucaran/fisher"
fi
fish -c "fisher install reitzig/sdkman-for-fish"
fi
sdk install java 17.0.4-tem # https://whichjdk.com/#adoptium-eclipse-temurin
yes | sdk upgrade java
# === UBW (pare-feu) ==
ufw enable
# === Firefox ==
firefox &
sleep 2
pkill firefox
wget -q --show-progress https://git.kennel.ml/Anri/confOS/raw/branch/main/.mozilla/firefox/user.js -P "$HOME"/.mozilla/firefox/*.default-release
# 2 fingers history control
echo "export MOZ_USE_XINPUT2=1" >> "$HOME"/.profile
# === Manual color ==
fish -c "set -Ux MANPAGER \"sh -c 'col -bx | bat -l man -p'\""
# === Docker ==
systemctl enable docker.service
systemctl start docker.service
usermod -aG docker "$USER"
# === Unused icons ==
apps=("fish" "cmake-gui" "com.github.hluk.copyq" "electron17" "org.gnome.Evince"
"avahi-discover" "bssh" "bvnc" "org.flameshot.Flameshot"
"org.fontforge.FontForge" "lstopo" "htop" "micro" "qv4l2" "qvidcap"
"x11-emoji-picker" "xdvi" "yelp" "spotify")
for app in "${apps[@]}"
do
if [ -f /usr/share/applications/"$app".desktop ]
then
mv /usr/share/applications/"$app".desktop /usr/share/applications/"$app".desktop.bak
fi
done
# === Enable Bluetooth ==
systemctl enable bluetooth.service
systemctl start bluetooth.service
sed -i "s/#AutoEnable=true/AutoEnable=false/g" /etc/bluetooth/main.conf
# === VSCodium ==
wget -q https://git.kennel.ml/Anri/confOS/raw/branch/main/.config/VSCodium/product.json -P "$HOME"/.config/VSCodium/
# === Git ==
wget -q https://git.kennel.ml/Anri/confOS/raw/branch/main/dotfiles/.gitconfig -O "$HOME"/.gitconfig
# === Python ==
# Add PIP packages from Python to the path
fish -c "fish_add_path /home/anri/.local/bin"
# === OCaml ==
# Init Opam and install stuff
echo | opam init
yes | opam init
opam install -y utop ocaml-lsp-server ocamlformat ocamlformat-rpc
wget -q https://git.kennel.ml/Anri/confOS/raw/branch/main/dotfiles/.ocamlformat -O "$HOME"/.ocamlformat
# Add Opam packages from OCaml
fish -c "fish_add_path /home/anri/.opam/default/bin"
# === Clang ==
wget -q https://git.kennel.ml/Anri/confOS/raw/branch/main/dotfiles/.clang-format -O "$HOME"/.clang-format
# === LaTeX ==
# Pour latexindent
sudo cpanm YAML::Tiny File::HomeDir
echo -e "\nInstallation terminée.\nIl faut redémarrer l'ordinateur."
}
if grep "archlinux" /proc/version > /dev/null;
then
main "$@"
else
echo "Ce script ne fonctionne que sur Arch." >&2
fi