vulporuza/.dotfiles
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

terminator: Include configuration file

Browse Source
This commit is contained in:
Robin-Charles Guihéneuf
2020-09-12 23:49:20 +02:00
committed by Robin-Charles GUIHENEUF
parent ec40d2b06e
commit 69dfd44dd8
2 changed files with 34 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
auto-config.sh
View File

@@ -14,8 +14,11 @@ then
echo 'deb [signed-by=/etc/apt/trusted.gpg.d/vscodium-archive-keyring.gpg] https://paulcarroty.gitlab.io/vscodium-deb-rpm-repo/debs/ vscodium main' | sudo tee /etc/apt/sources.list.d/vscodium.list echo 'deb [signed-by=/etc/apt/trusted.gpg.d/vscodium-archive-keyring.gpg] https://paulcarroty.gitlab.io/vscodium-deb-rpm-repo/debs/ vscodium main' | sudo tee /etc/apt/sources.list.d/vscodium.list
fi fi
sudo apt install codium sudo apt install terminator codium
mkdir -p $HOME/.config/VSCodium/User/ mkdir -p $HOME/.config/VSCodium/User/
ln -sf $HOME/.dotfiles/codium/keybindings.json $HOME/.config/VSCodium/User/keybindings.json ln -sf $HOME/.dotfiles/codium/keybindings.json $HOME/.config/VSCodium/User/keybindings.json
ln -sf $HOME/.dotfiles/codium/settings.json $HOME/.config/VSCodium/User/settings.json ln -sf $HOME/.dotfiles/codium/settings.json $HOME/.config/VSCodium/User/settings.json
mkdir -p $HOME/.config/terminator/
ln -sf $HOME/.dotfiles/terminator/config $HOME/.config/terminator/config

30
terminator/config Normal file
View File

@@ -0,0 +1,30 @@
[global_config]
window_state = maximise
scroll_tabbar = True
title_inactive_bg_color = "#000000"
inactive_color_offset = 1.0
enabled_plugins = TerminalShot, LaunchpadCodeURLHandler, APTURLHandler, LaunchpadBugURLHandler
suppress_multiple_term_dialog = True
title_use_system_font = False
title_font = Sans 11
[keybindings]
[profiles]
[[default]]
background_darkness = 0.6
background_type = transparent
cursor_color = "#908c8c"
font = Monospace 11
foreground_color = "#ffffff"
scrollback_infinite = True
palette = "#000000:#aa0000:#00aa00:#f57900:#55ffff:#ff006e:#00aaaa:#aaaaaa:#555555:#ff5555:#55ff55:#ffff55:#55ffff:#ff006e:#00aaaa:#ffffff"
use_system_font = False
split_to_group = True
[layouts]
[[default]]
[[[window0]]]
type = Window
parent = ""
[[[child1]]]
type = Terminal
parent = window0
[plugins]