Overview
Comment: | Update gnome-terminal profile |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA3-256: |
4d3df85dbc7c8de2f7feccdd6312494e |
User & Date: | js 2023-05-28 11:40:59 |
Context
2023-08-06
| ||
11:59 | zshrc: Use m68k-amigaos-g++ for ObjFW check-in: d0486753ab user: js tags: trunk | |
2023-05-28
| ||
11:40 | Update gnome-terminal profile check-in: 4d3df85dbc user: js tags: trunk | |
2023-05-27
| ||
20:59 | setup.sh: Disable automount on GNOME check-in: 04661b01ca user: js tags: trunk | |
Changes
Changes to dconf/gnome-terminal.
1 2 | [legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9] background-color='rgb(0,0,0)' | > | | | | | > > > | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 | [legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9] audible-bell=true background-color='rgb(0,0,0)' background-transparency-percent=6 bold-color='rgb(255,255,255)' bold-color-same-as-fg=false bold-is-bright=true cursor-background-color='rgb(255,229,0)' cursor-colors-set=true cursor-foreground-color='rgb(128,0,0)' foreground-color='rgb(238,238,238)' highlight-background-color='rgb(51,68,133)' 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)'] scrollback-unlimited=true scrollbar-policy='always' use-system-font=true use-theme-colors=false use-transparent-background=true |