< ^ txt
Sun Feb 5 09:49:16 EST 2017
Slept from midnight to nine. Woke briefly around four-thirty.
Mostly cloudy. High of thirty-six.
I sort of like gnome-terminal, but there doesn't seem to be any straight-forward way to export or import user settings.
All the settings seem to be hidden in a binary Windows registry-like file.
That's batty.
How to I at least list these values with manually transcribing them from the gnome-terminal GUI preferences?
This looks like the closest I can get:
# apt-get install dconf-cli
$ dconf dump /org/gnome/terminal/legacy/profiles:/
So... manually transcribed:
- Solarized Dark
- Default color #D9D9D9 #002B36
- Bold color #FFFFFF
- Cursor color #FFFFFF #CE5C00
- Highlight color #002B36 #EDD400
Watched the first few episodes of Santa Clarita Diet on Netflix. Funny.
I wish this would have been noted more prominently. Why?
chromium-browser (55.0.2883.75-4) unstable; urgency=medium
* External extensions are now disabled by default. Chromium will only load
extensions that are explicitly specified with the --load-extension command
line option passed into CHROMIUM_FLAGS. See the chromium-lwn4chrome
package for an example of how to do this.
* You can also use the --enable-remote-extensions command line argument to
chromium, which will bypass this restriction.
Wrote more DNS notes for work.
Actually stood up a nsd server in a container.
It worked.
Breakfast: carrots, coffee
Lunch: chicken pot pie
Dinner: pizza
< ^ txt