638 reputation
515
bio website
location Switzerland
age
visits member for 3 years, 3 months
seen Apr 14 at 10:14

May
25
answered How can I remove modem-manager from boot?
May
17
answered Turn off all sounds from websites
May
15
awarded  Excavator
May
15
revised Generate mp3 file from espeak
Corrected to pipe directly from espeak to ffmpeg (no intermediate file not needed)
May
15
suggested suggested edit on Generate mp3 file from espeak
May
15
comment Generate mp3 file from espeak
This is not a direct reply to the question, but it is so crazy that it deserves an upvote anyway!
Apr
21
awarded  Popular Question
Apr
19
comment Which programs can I use to edit PDF files?
In Ubuntu 12.04: sudo apt-get install libreoffice-pdfimport.Worked very well for me indeed, allowing me to fill-in a pseudo-form (word-created form for humans, not a real pdf form) exactly at the right places by selecting the line of placeholder dots in the pdf. Better than a typewriter.
Mar
12
comment Where is the information about free space in a disk stored?
Note that obviously, df can only show info for mounted devices, since the info has to come from the filesystem.
Feb
15
awarded  Caucus
Jan
16
suggested suggested edit on Replacement for DOS xcopy command
Jan
8
answered How to boot from an .iso file in GRUB2?
Jan
7
answered With a launcher for a terminal application, how can I keep the terminal open after the program is complete?
Jan
2
awarded  Revival
Dec
18
awarded  Commentator
Dec
11
awarded  Announcer
Nov
23
answered Is setting default mount options for udisks really not possible?
Nov
22
comment Am I using Unity or Unity 2D?
While I admire the patience the author showed in detailing all these little differences, and even inserting screenshots, I believe the "correct" answer to the question is much simpler: echo $DESKTOP_SESSION, as user komputes mentioned.
Nov
21
comment Default mount options on auto-mounted NTFS partitions (how to add `noexec` and `fmask=0111`?)
Too bad this question was closed. I'm also looking for a way to force specific mount options for specifc automounted filesystems.
Nov
18
comment How to mount HFS+ drive and ignore permissions
@weberc2: ls -l /media/YourHFSdisk/ will show you the uid and gid of the current files/folders. The HFS+ disks I come across seem to be mostly owned by uid 99 and gid 99. However, I tried various combinations uid/gid/umask settings in the mount command, and it didn't seem to change anything.