Vagrant: The forwarded port to 8080 is already in use on the host machine.

I was trying to spin up a vagrant box while another box was already running. I did configure

config.vm.network :forwarded_port, guest: 80, host: 8082

but was getting
Vagrant port forwarding Issue

Continue reading “Vagrant: The forwarded port to 8080 is already in use on the host machine.”

RAID1 on linux with mdadm – Part2

Continued from RAID1 on linux with mdadm – Part1:

Performance results

Without any encryption

$time sudo dd if=/dev/zero of=testfile bs=1G count=10
10+0 records in
10+0 records out
10737418240 bytes (11 GB) copied, 77.2889 s, 139 MB/s

real 1m17.517s
user 0m0.000s
sys 0m22.230s

Truecrypt AES partition

$ time sudo dd if=/dev/zero of=testfile bs=1G count=10
10+0 records in
10+0 records out
10737418240 bytes (11 GB) copied, 78.6724 s, 136 MB/s

real 1m18.837s
user 0m0.000s
sys 0m21.750s

Mark listed device as faulty and remove

This will mark /dev/sdb1 and /dev/sdb2 as faulty devices and will remove them from the array.

$sudo mdadm /dev/md_d0 --manage --fail /dev/sdb1 --remove /dev/sdb1
$sudo mdadm /dev/md_d1 --manage --fail /dev/sdb2 --remove /dev/sdb2

Continue reading “RAID1 on linux with mdadm – Part2”

MediaWiki Syntax highlighting for gedit

Reference:
http://en.wikipedia.org/wiki/Wikipedia:Text_editor_support#gedit

$cd /tmp && $wget http://www.jpfleury.net/site/fichiers/gedit-mediawiki/gedit-mediawiki.zip
$unzip gedit-mediawiki.zip
$mkdir -p ~/.local/share/gtksourceview-2.0/language-specs/
$cp gedit-mediawiki/mediawiki.lang ~/.local/share/gtksourceview-2.0/language-specs/