23,029 reputation
362104
bio website stackexchange.com/users/…
location
age
visits member for 4 years, 2 months
seen 20 hours ago

Moderator♦ pro tempore on French Language, Computer Science and Software Recommendations. I'm also a unix amateur, and a developer with a computer science background and security leanings by trade.

Interested in embedded systems? Join the Embedded Programming and Design proposal!

Programmeurs francophones : participez à Stack Overflow en français.

Avatar picture slightly adapted from a photo by Luridiformis (Zonda Grattus).


2d
revised Thick black edges appear after coming out of sleep
edited tags; edited title
Oct
12
revised Logging in to an encrypted home directory after forgetting my password
improved formatting
Oct
8
revised wildcards wiki excerpt
added 102 characters in body
Oct
1
revised How to fix missing libudev.so.0 for Chrome to start again?
added the 32-bit case (not that doing either is a good idea)
Sep
27
revised Can I use cd../.. as an alias name?
bash does allow slashes in function names (thanks alexis)
Sep
27
revised Can I use cd../.. as an alias name?
title that actually reflects the question
Sep
26
revised What is the CVE-2014-6271 bash vulnerability (Shellshock) and how do I fix it?
sh isn't bash on Ubuntu, which reduces the exposure to services that invoke bash explicitly
Sep
23
revised Updating from 10.04 to 14.04 with minimal disruption
edited title
Sep
17
revised Skype on one sound card, other sounds on second sound card
added OPs clarification which was posted as a comment
Sep
5
revised Access Prompt keeps asking for GMail password
added 1 character in body; edited tags; edited title
Aug
18
revised How to migrate user settings and data to new machine?
mention other files that might contain the host name (thanks Stéphane Chazelas)
Aug
5
revised What is the difference between Terminal, Console, Shell, and Command Line?
minor English and formatting improvements
Aug
4
revised What is the difference between Terminal, Console, Shell, and Command Line?
format quotes as quotes
Jul
18
revised Why are all my DNS queries received from 127.0.0.1?
deleted 33 characters in body; edited tags; edited title
Jul
3
revised 7z “is not supported archive” while updating an archive
added 55 characters in body; edited tags; edited title
Jun
25
revised HOME/bin not a valid identifier
formatting
Jun
19
revised How to mass add file extension?
added 93 characters in body
Jun
14
revised How can I get mv (or the * wildcard) to move hidden files?
added 204 characters in body
Jun
14
revised How can I get mv (or the * wildcard) to move hidden files?
added 6 characters in body
Jun
14
revised How can I get mv (or the * wildcard) to move hidden files?
deleted 6 characters in body