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

Sync bat config

Browse source
This commit is contained in:
Mylloon 2023-11-23 17:17:49 +01:00
parent 48918085d3
commit 88cd731ad8
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
2 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
Makefile
View file

@ -65,6 +65,11 @@ sync-dotconfig:
@echo "Micro settings synced!" @echo "Micro settings synced!"
@echo @echo
# Bat
@$(WGET) $(REPO_SRC)/.config/bat/config -O $(HOME)/.config/bat/config
@echo "Bat settings synced!"
@echo
# Topgrade # Topgrade
@$(WGET) $(REPO_SRC)/.config/topgrade/topgrade.toml -O $(HOME)/.config/topgrade.toml @$(WGET) $(REPO_SRC)/.config/topgrade/topgrade.toml -O $(HOME)/.config/topgrade.toml
@echo "Topgrade settings synced!" @echo "Topgrade settings synced!"

4
arch_wsl.sh
View file

@ -160,6 +160,10 @@ main() {
fish -c "set -Ux MANPAGER \"sh -c 'col -bx | bat -l man -p'\"" fish -c "set -Ux MANPAGER \"sh -c 'col -bx | bat -l man -p'\""
fish -c "set -Ux MANROFFOPT \"-c\"" fish -c "set -Ux MANROFFOPT \"-c\""
# === Bat config ==
mkdir -p "$HOME"/.config/bat
wget -q --show-progress ${repo}/.config/bat/config -O "$HOME"/.config/bat/config
# === Git == # === Git ==
wget -q ${repo}/dotfiles/.gitconfig -O "$HOME"/.gitconfig wget -q ${repo}/dotfiles/.gitconfig -O "$HOME"/.gitconfig