I just learned about a very useful keyboard shortcut, apparently introduced with macOS Sierra:
Continue reading macOS Sierra: Show Hidden Files in FinderTag: Tutorial
‘Delete Immediately…’ in OS X El Capitan
With OS X El Capitan (10.11) the Finder has gained a handy new feature, called Delete Immediately… .
To immediately delete one or more files or folders select them in the Finder, then hold down the Option and Command key and press Backspace. (⌥⌘⌫) Continue reading ‘Delete Immediately…’ in OS X El Capitan
OS X: Understanding and Configuring Mail Drop
Mail Drop is a new Yosemite features that drew relatively little attention.
Mail Drop is super useful. It allows to send huge (really huge) attachments just as if they were normal, small attachments. It does this by uploading the attached file to a third-party server (i.e. not the SMTP server). The receiving mail client then either downloads the file automatically or the user can download it with a click on the attachment icon/link. (This depends on whether a mail client or web mail is used on the receiving side, or on the settings of the mail client.)
This allows to avoid problems like these: Continue reading OS X: Understanding and Configuring Mail Drop
A Better Font Setup for WordPress “Twenty Fifteen”
The font choice in Twenty Fifteen is an interesting one.
By default Noto Serif is used for the major part – that is the entry body text, headings and the post titles in the sidebar –, Noto Sans is used for headings in the side bar and elsewhere. The fixed-width font is Inconsolata.
Google’s Noto font is very young (released 2013), and they say this font has an ambitious goal: Continue reading A Better Font Setup for WordPress “Twenty Fifteen”
WordPress: Customize Footer
I agree, it’s wunderful that WordPress exists. However, two WordPress links, one in the footer, the next one just 200 pixels away, in the Meta widget, that’s one too much.
OK, let’s assume we are fine with just one link, then we could get rid of the one in the footer, right? As a side effect this would free up some precious space for something useful, such as date and time of the most recent post update!
Nothing easier than that:
That’s the moment to make use of the child theme that we’ve already created. Continue reading WordPress: Customize Footer
Keep a History of your External IP Addresses
Today I had a look on my 404 log to check if there were any broken links or orphaned slugs on my site. The log was more than a couple of days old and … rather long. Since I made some “experiments” with my site recently, it was likely that the majority of the 404s have been triggered by myself, that is, from my Mac, behind a dynamic IP address.
So, how to filter out these not-so-interesting entries? Continue reading Keep a History of your External IP Addresses
Uninstalling Wuala properly (OS X)
The Wuala cloud storage isn’t a bad service in terms of security. Storage is encrypted and the servers are (supposedly) located outside of the US. But by shutting down the free storage plan as of 1/1/2015 they likely pronounced its death sentence.
For a clean uninstall follow these instructions: Continue reading Uninstalling Wuala properly (OS X)
A Perfect Syntax Highlighter for WordPress
Finding a good and lightweight syntax highlighter wasn’t as easy as I thought. Continue reading A Perfect Syntax Highlighter for WordPress
WordPress: Create a Child Theme for “Twenty Fifteen”
This is the first article in a mini series about small modifications I made to this WordPress site.
We use the new “Twenty Fifteen” theme as example but most things are easily transferable to other themes.
The first modification, setting up a child theme, is not a modification in the real sense. It’s rather a highly recommended preparation for future modifications.
A child theme is a branch, or a sub theme, of a regular WordPress theme. A child theme gives us the possibility to make changes to the site without the risk that all the work will get overwritten at the next official theme update.
Basically a child theme is just a new folder in the themes folder (with some files in it, of course). Before we begin to hack around in the original files of the theme, we should definitely take those five minutes and create a child theme: Continue reading WordPress: Create a Child Theme for “Twenty Fifteen”