Header compression in HTTP 2 & 3
Great article on HTTP header compression from mnot
Archive of posts filed under the Uncategorized category.
idmapd for NFSv4 doesn’t do what you think it does
After wasting a lot of time trying to remap UIDs for an NFS mount using idmapd, I came across this article. In summary: “The problems start when we want to access the file contents or modify a file/directory and suddenly we get ‘permission denied’ type messages. Now NFS itself doesn’t do the security authentication but …
Continue reading ‘idmapd for NFSv4 doesn’t do what you think it does’ »
Understanding Production: What can you measure?
Good article that focuses on metrics in terms of supporting production.
The Command Line Rosetta Stone
A comparison for current operating systems inspired by the classic Unix Rosetta Stone
RDP to Windows 10 Home systems
To allow RDP to Win 10 Home you should: Copy rfxvmt.dll file into Windows\System32 Install RDP Wrapper (via zip, NOT MSI)
Skip building debuginfo files for rpm files
You can use a –define rpmbuild –define "debug_package %{nil}" -ba SPECS/original.spec
TXR: data extraction language
TXR is a pragmatic, convenient tool ready to take on your daily hacking challenges with its dual personality: its whole-document pattern matching and extraction language for scraping information from arbitrary text sources, and its powerful data-processing language to slice through problems like a hot knife through butter. Many tasks can be accomplished with TXR “one …
Moving from Feedly
Got tired of a few shortcomings with Feedly (inability to add feed directly from firefox or to have private RSS feeds), so have migrated to a self-hosted tt-rss install. Components: VPS from Host-US ($15 / year) running Centos 7 tt-rss installation tt-rss feedly plugin (some 3rd party apps supporting syncing to this) tt-rss app for …
Github Dark Theme
Why have I only just discovered this?
Set terminal title to hostname when using screen
Put this in ~/.bashrc if [[ $TERM = “screen” ]]; then SHORTHOST=$(hostname -s) NEW_TITLE=”\033]0;${SHORTHOST}\007″ echo -ne “\033P${NEW_TITLE}\033\\” fi With help from here Can probably do this at screen startup rather than in each bash…