Posts Tagged ‘recommendations’

Best Chrome extensions

Since I haven’t been blogging for a while, here is a list of some Chrome extensions you can’t miss. Sanity AdBlock Plus – I’m not sure how anyone can use a web browser without AdBlock. It’ll make sure you don’t see ads, anywhere. Productivity Pocket – If you have a tablet, this is the extension […]

A list of some commercial GNU/Linux games

I thought I’d be nice to make a little list of some of the GNU/Linux games I’ve tried out this past year. I’ve tried to keep the list heterogeneous (different game genres, all from different producers, some freshly released and some quite older…). I’ve also decided to only include commercial games in this post; if […]

My dot files (Tips and Tricks for Bash & co.)

.bashrc # If not running interactively, don’t do anything [ -z “$PS1” ] && return # don’t put duplicate lines in the history and ignore same sucessive entries. export HISTCONTROL=ignoreboth # make the history longer HISTFILESIZE=5000 # append to the history file, don’t overwrite it shopt -s histappend # check the window size after each […]

Skip to toolbar