Category Archives: Linux

Installing PHP 7 on Debian Jessie

Add this to the file /etc/apt/sources.list:

deb jessie all
deb-src jessie all

Then run:

sudo apt-key add dotdeb.gpg
sudo apt-get update

Time to install PHP!

sudo apt-get install php-7.0

Installing support for certain packages is easy, just replace php5- with php7-!

Note: These instuctions do not work on ARM-based devices, such as the Raspberry Pi.


Setting up EasyEngine on Ubuntu 14.04 + PHP 5.5 + Nginx + Memcached Object cache

Start with a base Ubuntu 14.04 install, and then run:

curl -sL | sudo bash    # install easy-engine
source /etc/bash_completion.d/ee # code completion in CLI
apt-get install memcached php5-memcached # install memcached and  memcached php bridge (optionally also install php5-memcache)

ee system install                # install nginx, php, mysql, postfix
ee site create --wp  # install wordpress on    


That’s really all you need to do!

SVG to PNG conversion with transparent background in ImageMagick

Here’s a quick way to convert SVG to PNG with transparent background

convert -background none image.svg image.png

Adjust size

If you want to scale the image to a larger size without antialiasing (which makes the image look fuzzy), you can add the density parameter, like this:

convert -density 200 -background none image.svg image.png

Simply increase the density value to increase the image size.

To install ImageMagick on OS X with Homebrew:

brew install imagemagick

For Ubuntu:

sudo apt-get install imagemagick

Display output of multiple log files with tail

To show the output from all log files in a directory, run:

tail -f *.log

Output example:

==> log1 <== - - [16/Nov/2014:03:31:06 +0000] "GET /robots.txt HTTP/1.1" 200 107 - - [16/Nov/2014:03:31:07 +0000] "GET / HTTP/1.1" 200 7777 - - [16/Nov/2014:03:36:05 +0000] "GET /robots.txt HTTP/1.1" 200 107

==> log2 <== - - [16/Nov/2014:05:39:36 +0000] "GET / HTTP/1.1" 200 34569 - - [16/Nov/2014:05:40:44 +0000] "POST /wp-admin/ HTTP/1.0" 200 961 - - [16/Nov/2014:05:40:57 +0000] "POST /wp-admin/ HTTP/1.0" 200 50505