Category: Ubuntu

Easy way to set keyboard layout in Ubuntu

This command can be used to set the keyboard layout in the terminal: setxkbmap dk

Posted in Ubuntu

Using Amazon Glacier on Linux

Amazon Glacier Amazon provides a low cost backup service called Amazon Glacier which a payment plan reflecting the amount of data that you store with a price in the range of $ 0.01 per GB. However beware of the other

Posted in Linux, Tools, Ubuntu

Syntax highlighting for VDM

Here are language files for VDM: VDM-SL VDM-PP VDM-RT They should be placed in:¬†share\gtksourceview-2.0\language-specs vdm.lang (9.94 kb) vdmpp.lang (10.15 kb) vdmrt.lang (10.25 kb) vdmsl.lang (9.95 kb) vpp.lang (10.14 kb)          

Posted in Tools, Ubuntu

Small guide for basic Shell commands

Oreilly online book chapter: link

Posted in Linux, Ubuntu

Environment variables in Ubuntu

The following is a exstract from Ubuntu help The can be used to set enviroment variables in the terminal: ~/.bashrc Session-wide environment variables In order to set environment variables in a way that effects a user's entire desktop session, one

Posted in Ubuntu