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 …
It seems that the version of Gnome 3.30 on Arch is so unstable with such poor plugin support (despite what the Gnome developers think, tray icons are still required, Gnome is not the only DE available) that I strongly recommend against using it for now. I’ve gone back to the comforting embrace of XFCE. Maybe …
Continue reading ‘Gnome 3.30 on Arch Linux not ready for use’ »
sed -i ‘s#tray.manage_screen(global.screen, Main.panel.actor)#tray.manage_screen(Main.panel.actor)#’ ~/.local/share/gnome-shell/extensions/TopIcons@phocean.net/extension.js
Why have I only just discovered this?
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…
A new nagios check I’ve written for checking a lot of URLs quickly: check_multi_url.
Set up a cron job like the below: 12 10,19 * * * curl -s https://sitetocheck.com/page.html | grep ‘text that will change’ >/dev/null || mail -s ‘page changed’ your@emailaddress.com
sudo dkms autoinstall
add to ~/.emacs (add-hook ‘yaml-mode-hook (lambda () (highlight-indentation-mode) ))
Do pgrep -a process instead Update: seems like older pgrep (such as that which comes with RHEL6) doesn’t support this, you can do pgrep -l instead though.