Install Tipp10 under debian-based distros

July 13, 2016 less than 1 minute read

Install the 10-finger practice-typing program "Tipp10". It features addaptive lessons concerning indiviual typing errors, and much more.. install 32-bit lib...

Install Firefox-Next (beta) on Mint, Ubuntu, Debian, etc…

July 11, 2016 less than 1 minute read

Add mozilla ppa: $ sudo add-apt-repository ppa:mozillateam/firefox-next get the ppa's origin name (bold): $ apt-cache policy ...  500 http://ppa.launchpad....

virtualbox mount shared

July 2, 2016 less than 1 minute read

to mount a shared folder, I had to mount it by cmdline: sudo mount -t vboxsf share ~/host

texlive install: minimal version

July 2, 2016 less than 1 minute read

I tried to install a smaller version of texlive on a linux mint system. the following packages are sufficient for my needs (math+science orientied): texlive ...

June 25, 2016 1 minute read

to enable automatic updates install: [code language="bash"] $ apt install unattended-upgrades [/code] check and uncomment in the config file as needed, well ...