18,880 reputation
34781
bio website stackexchange.com/users/…
location Paris, France
age 34
visits member for 3 years, 8 months
seen 4 hours ago

Moderator♦ pro tempore on French Language and Usage and Computer Science. 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!

Avatar picture slightly adapted from a photo by Luridiformis (Zonda Grattus) (except where I use another picture).


6h
revised Error running a script: ?#!/bin/csh: No such file or directory
edited tags; edited title
7h
revised How to change default telnet handler to putty
deleted 34 characters in body; edited tags
2d
revised Terminal history
clarify the question based on the comments
Apr
14
revised How to automatically launch bash shell when opening terminal or in console mode?
edited tags
Apr
13
revised How to list all the packages which are installed from PPAs?
edited tags
Apr
10
revised Can I enable bash-completion for the new apt command?
link to the man page to clarify what's being talked about; remove the 14.04 tag since http://askubuntu.com/questions/445725/bash-completion-for-the-new-apt-command shows that this question applies to other releases as well
Apr
10
revised How to patch the Heartbleed bug (CVE-2014-0160) in OpenSSL?
replaced nonsensical lookup of shared libraries in use in /proc/PID/fd by a lookup in /proc/PID/maps (thanks Lekensteyn); update the client-side analysis following http://unix.stackexchange.com/a/123712
Apr
10
revised Can I enable bash-completion for the new apt command?
edited tags
Apr
8
revised How to patch the Heartbleed bug (CVE-2014-0160) in OpenSSL?
tweak misleading wording (thanks Matt Nordhoff); mention that I'm still unclear about the client side
Apr
8
revised How to patch the Heartbleed bug (CVE-2014-0160) in OpenSSL?
I forgot to mention certificate revocation
Apr
8
revised How to patch the Heartbleed bug (CVE-2014-0160) in OpenSSL?
added 978 characters in body
Apr
8
revised How to patch the Heartbleed bug (CVE-2014-0160) in OpenSSL?
This isn't just an upgrade-and-you're-done vulnerability!
Mar
26
revised How to make `man` work for shell builtin commands and keywords?
use a straightforward way of detecting builtins; use sensible-pager rather than less
Mar
22
revised Unindent selected lines in gedit
translated into English (I hope); removed silly random bold
Mar
19
revised How do I list commands a package provides?
restored -F option to apt-file (thanks Oli); mention alternatives and give a way to list currently-active alternatives
Mar
19
revised How do I list commands a package provides?
rolled back to a previous revision
Mar
14
revised How to install ubuntu on separated flash drives?
mention raid 0
Mar
11
revised What is the “sticky bit” (t permission) and why does /tmp have it?
formatting; English; note that the sticky bit on regular file is purely historical
Mar
11
revised What is the “sticky bit” (t permission) and why does /tmp have it?
English; formatting
Mar
11
revised What is the “sticky bit” (t permission) and why does /tmp have it?
English