Settings for Linux client for DD-WRT PPTP VPN
MSCHAPv2 selected just out of shot
Archive of entries posted by james
mkcd – create and cd into directory
Make a directory & cd into it function mkcd () { mkdir -p “$@” && eval cd “\”\$$#\””; } from twitter
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 …
Gnome 3.30 on Arch Linux not ready for use
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’ »
Fix TopIcons Plus on Gnome 3.30
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
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…
check_multi_url – Check 100s of URLs asynchronously
A new nagios check I’ve written for checking a lot of URLs quickly: check_multi_url.
Get an email when a web page changes
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
Rebuild nvidia modules for new kernel
sudo dkms autoinstall