Monthly Archives: December 2015

Vimperator pin tab

It’s easy to pin a tab in vimperator with :set apptab=true and to unpin with :set apptab=false So it’s quite advisable to include a map in ~/.vimperatorrc as nmap x :set apptab=true nmap :set apptab=false See http://superuser.com/questions/703525/pin-tab-by-default

Vimperator – Set external editor

External editor in Vimperator can be called with default , and the default is gvim -f It can be changed in ~/.vimperatorrc with, for example, xterm -e vim See :help editor and http://superuser.com/questions/186782/setting-an-external-editor-in-vimperator

Beamer foot frame numbers bigger

To make foot frame numbers bigger: “You can set the page number in head/foot font; a little example using size=\large: \documentclass{beamer} \usepackage{xcolor} \usetheme{Goettingen} \useinnertheme{circles} \beamertemplatenavigationsymbolsempty \setbeamerfont{page number in head/foot}{size=\large} \setbeamertemplate{footline}[frame number] \begin{document} \frame{ \frametitle{test} test } \end{document}   That’s it” (http://tex.stackexchange.com/questions/74241/frame-number-in-beamer)

pmount (policy mount)

pmount is a mount wrapper for mounting external devices and partitions without the need to create a mount point and to become root (through sudo). The most simple usage is pmount which will mount (/dev/sdX) on mount point /media/

Partitions and filesystems

When partitioning disks, there are several things to take into account. 1. The partition table (Gnu parted) 2. The filesystem (resize2fs, ntfsresize) 3. The partitions (fdisk) 2- Redhat – Storage Administration Guide 2-3 Partedmagic – Cli partitioning 2-3 Ubuntu help – Install a new hard drive Resize a partition and filesystem Partedmagic – Cli partitioning […]

Solarized web browser (dark theme)

I found a way to make firefox website’s rendering more relaxed for the eye. A solarized theme css, found at userstyles.org, Solarized dark everywhere.  It can be installed in Abrowser (Trisquel’s rebranded version of Firefox) as a Greasemonkey script. Here is the script from the author thedude: /* AGENT_SHEET */ @-moz-document url-prefix(http://), url-prefix(https://), url-prefix(ftp://), url-prefix(file://), […]