edit zsh prompt
append to .zshrc in home folder to import file: $ vim ~/.zshrc ... source .zshrc-prompt create .zshrc-prompt in home dir: [code language="bash" collapse="t...
Recent Posts
Install Tipp10 under debian-based distros
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…
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
to mount a shared folder, I had to mount it by cmdline: sudo mount -t vboxsf share ~/host
texlive install: minimal version
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 ...