paulgorman.org

< ^ 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