configs  Check-in [5c42e9b43e]

Overview
Comment:Include some GNOME settings
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 5c42e9b43edbdd59cec38c9ffb02f141b3a0ff4fe3478923aba1e593f8d38115
User & Date: js 2023-04-29 23:06:05
Context
2023-04-30
10:27
Add scdaemon.conf check-in: 54de3688fa user: js tags: trunk
2023-04-29
23:06
Include some GNOME settings check-in: 5c42e9b43e user: js tags: trunk
22:31
setup.sh: Set XDG_DATA_HOME and GNUPGHOME check-in: ca0dd11e2d user: js tags: trunk
Changes
Hide Diffs Side-by-Side Diffs Ignore Whitespace Patch

Added dconf/gnome-terminal.

















1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
[legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9]
background-color='rgb(0,0,0)'
background-transparency-percent=10
bold-color='rgb(255,255,255)'
bold-color-same-as-fg=false
bold-is-bright=true
cursor-background-color='rgb(255,199,0)'
cursor-colors-set=true
cursor-foreground-color='rgb(93,0,0)'
foreground-color='rgb(224,224,224)'
highlight-background-color='rgb(0,88,119)'
highlight-colors-set=true
highlight-foreground-color='rgb(255,255,255)'
palette=['rgb(23,20,33)', 'rgb(192,28,40)', 'rgb(38,162,105)', 'rgb(162,115,76)', 'rgb(18,72,139)', 'rgb(163,71,186)', 'rgb(42,161,179)', 'rgb(208,207,204)', 'rgb(94,92,100)', 'rgb(246,97,81)', 'rgb(51,209,122)', 'rgb(233,173,12)', 'rgb(42,123,222)', 'rgb(192,97,203)', 'rgb(51,199,222)', 'rgb(255,255,255)']
use-theme-colors=false
use-transparent-background=true

Changes to setup.sh.

64
65
66
67
68
69
70










71
72
73
74
75
76
77
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87







+
+
+
+
+
+
+
+
+
+







have vim && link_file vim .config/vim ../
have yt-dlp && link_file yt-dlp .config/yt-dlp ../
have zsh && link_file zshrc .zshrc
if have ssh; then
	mkdir -p $HOME/.ssh
	link_file ssh/config .ssh/config ../
fi

if [ "$XDG_SESSION_DESKTOP" = "gnome" ]; then
	gsettings set org.gnome.desktop.interface color-scheme prefer-dark
	gsettings set org.gnome.desktop.interface cursor-blink false
	gsettings set org.gnome.desktop.interface monospace-font-name 'Cascadia Mono 10'
	gsettings set org.gnome.desktop.wm.preferences button-layout appmenu:minimize,close
	gsettings set org.gnome.mutter attach-modal-dialogs false

	dconf load /org/gnome/terminal/ <dconf/gnome-terminal
fi

if test x"$(uname -s)" = x"Darwin"; then
	for i in "Keyboard Layouts/"*; do
		dest="$HOME/Library/$i"
		# This does not like being symlinked…
		if [ ! -e "$dest" ]; then
			echo "Hardlinking $i -> $dest"