Gnome replaces Unity
Ralf Mardorf
silver.bullet at zoho.com
Sun Oct 15 15:02:32 UTC 2017
On Sat, 14 Oct 2017 21:06:21 +0200, Ralf Mardorf wrote:
>> On 14 Oct 2017, at 19:07, Colin Law <clanlaw at gmail.com> wrote:
>>
>>> On 14 October 2017 at 17:44, Ralf Mardorf <silver.bullet at zoho.com>
>>> wrote: ..
>>> Another issue is, that you can't use gsettings and dconf to access
>>> all GNOME related settings, e.g. there's seemingly no way to set
>>> up /org/gnome/terminal/legacy/profiles:/ without using the GUI to
>>> edit the profile/s first. I could copy and paste an example when
>>> the backups are done.
>>
>> Not sure what you mean there.
>
>Hi,
>
>Don't worry an example will follow soon.
Here it is.
You could get Tails 3.1 (it's obviously not the latest release) and test
it yourself.
Let's ignore that there's another bell related issue, but just focus on
the GNOME terminal default profile. When starting Tails everything is
default, so no profile entry is available, that's why I'm using the
commented out workaround. Even the workaround only works, after using
the GNOME terminal preferences.
It's a disgusting script written in a hurry, but the dconf/gesettings
part is not buggy.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: tailsmount.lst
Type: application/octet-stream
Size: 34 bytes
Desc: not available
URL: <https://lists.ubuntu.com/archives/ubuntu-users/attachments/20171015/d521cf7a/attachment.obj>
More information about the ubuntu-users
mailing list