I’ve “always” used PuTTY as my SSH client on Windows. And now, in 2019, I realized that there really are some settings in PuTTY that can make a difference! Here is my earlier normal view: Bash prompt and the colors looked like this: Not very modern, right? After some adjustments, here they are now: For […]
My trusty old VDR box started behaving erratically: sometimes the IR remote didn’t do anything. Rebooting the whole box usually helped, but not always. Eventually I was able to narrow the problem down: for some reason the LIRC serial driver did not correctly detect the IR receiver in the serial port at the boot. I […]
How to identify your Raspberry Pi, maybe built in a nice and sealed box? Here is how: $ cat /sys/firmware/devicetree/base/model;echo Raspberry Pi Model B Rev 2 $ $ cat /sys/firmware/devicetree/base/model;echo Raspberry Pi 3 Model B Rev 1.2 $ $ cat /sys/firmware/devicetree/base/model;echo Raspberry Pi 3 Model B Plus Rev 1.3 $
I have been a ThinkPad user since 2007. The first one was Z61p I think, and after that I’ve had (either my own or employer-provided) T61, T420, T430s, T540p, X1 Carbon 4th gen and now X1 Carbon 6th gen (or X1C6, as they call it in some forums). In T540p the big disappointment was the […]
Put these in your .vimrc to enable for example Python syntax coloring and indenting in Vim: syntax on filetype indent plugin on
Just wanted to say this: In Vim under Cygwin the user’s vimrc is not looked up as ~/.vimrc. One of the correct locations is ~/.vim/vimrc. It will be read whether you start your editor as “vi” or as “vim”. You can use a template to start with: Markku@T540p ~ $ mkdir .vim Markku@T540p ~ $ […]