config/gnome-terminal
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Compare commits

base: config:f5f42e8ab53ab1eeadfff8d467375ddcea1bc712
Branches Tags
config:master
..
compare: config:f8c762c417ed9172326f7330c849bc892d54a89a
Branches Tags
config:master

2 Commits
f5f42e8ab5 ... f8c762c417

Author SHA1 Message Date
Kenneth Benzie (Benie)
f8c762c417 Add conduit file 2017-12-05 11:04:59 +00:00
Kenneth Benzie (Benie)
dd2946dc47 Add gnome-terminal setup script 2017-12-05 11:04:54 +00:00
1 changed files with 0 additions and 1 deletions
Show Stats Expand all files Collapse all files

1
gnome-terminal.sh
View File

@ -4,7 +4,6 @@ set -e
terminal=/org/gnome/terminal/legacy terminal=/org/gnome/terminal/legacy
profile=$terminal/profiles:/`dconf list $terminal/profiles:/` profile=$terminal/profiles:/`dconf list $terminal/profiles:/`
echo $profile
dconf_write_profile_value() { dconf_write_profile_value() {
dconf write `echo $profile`$1 $2 dconf write `echo $profile`$1 $2