2,292 reputation
21128
bio website launchpad.net/…
location United States
age
visits member for 2 years, 3 months
seen Mar 7 at 2:02

🐌. Native speaker of American English. Linux user. Familiar with several programming languages in the procedural, OO, and functional paradigms.

Link rot is evil. Archive everything. The keyboard is king. Correctness over performance. Canonicalize, normalize, deduplicate. Don't repeat yourself. UTF-8 > UTF-16. Use static typing: good for tooling. Re-use; don't re-invent. Correctness, then clarity, then concision and elegance. Play devil's advocate. First understand opponents' positions.


May
31
comment Can I mount disc in Windows style?
Linux allows colons in filenames, so you could even do /C:/.
May
31
revised Error mounting disk image using guestmount
added 161 characters in body
May
31
answered Upgrade Ubuntu 11.10 to 12.04 Without the Button in Update Manager
May
31
comment Skype on 64 bit has non default mouse cursor theme
See also: askubuntu.com/questions/302370/…, askubuntu.com/questions/12758/different-cursor-in-skype
May
31
comment Skype does not use default Ambiance theme
Is Skype a GTK2 app? Then it would use the GNOME 2 theme settings, which may be different from most apps.
May
31
comment Ubuntu 13.04 Install says there is “Not Enough Space”
Uninstall the kernels through the package manager. Don't just delete the files.
May
31
comment “Permission denied” error using dpkg-scanpackages and gzip
@Ads20000: The script is being run as root, so that will have no effect.
May
31
revised Skype does not use default Ambiance theme
edited tags
May
31
comment Permission denied error
/etc/sudoers is a text file, not an executable.
May
31
answered How do I give root privileges to an app?
May
31
revised How do I give root privileges to an app?
edited tags
May
31
revised Prevent a specific USB device from auto-mounting
more specific title
May
31
revised Mount single partition from image of entire disk (device)
More specific title
May
31
suggested suggested edit on Prevent a specific USB device from auto-mounting
May
31
comment Selecting text in the terminal without using the mouse
You mean Ctrl-Shift-Home?
May
31
suggested suggested edit on Mount single partition from image of entire disk (device)
May
31
asked Error mounting disk image using guestmount
May
30
comment Why doesn't deleting files increase available space?
He said he emptied the trash, so this cannot be the cause.
May
29
revised dconf editor missing options
show screenshot being referred to, needed for comparison
May
29
suggested suggested edit on dconf editor missing options