network profile
| bio | website | careers.stackoverflow.com/… |
|---|---|---|
| location | France | |
| age | 31 | |
| visits | member for | 2 years, 10 months |
| seen | 2 days ago | |
| stats | profile views | 78 |
I am a Christian, as well as an open-source technologist working as a systems engineer.
I'm interested in GNU/Linux systems, configuration management and deployment, virtualization, LaTeX and many other things.
See my blog for more info, or [my CV page][2].
|
Oct 15 |
answered | Setting the PATH so it applies to all users, including root/sudo |
|
Oct 10 |
answered | Dual boot Installation of Ubuntu 12.04 LTS on HP Ultrabook ENVY-4 1002TX |
|
Oct 1 |
awarded | Popular Question |
|
Aug 31 |
comment |
Google authenticator for the desktop To be clearer, the main security feature of TOTP imo is to prevent login/password remote attacks, not so much local attacks using the 1 or 2 machines I use every day. |
|
Aug 31 |
comment |
Google authenticator for the desktop An appindicator would be very nice indeed. Porting the code to another language (e.g. python) shouldn't be too hard. As for several devices… well there's still the password. I don't really see a problem with having the authenticator on the desktop as far as security goes. |
|
Aug 31 |
accepted | Google authenticator for the desktop |
|
Aug 31 |
comment |
Google authenticator for the desktop Cool, thank you. It's too bad these are not provided with the google-authenticator code. Also, I wonder if it would be easy to make some kind of desktop widget with multiple account/key pairs, maybe using another language ;-) |
|
Aug 31 |
asked | Google authenticator for the desktop |
|
Aug 24 |
revised |
How do I get PicoPix Viewer working? added 79 characters in body |
|
Aug 24 |
asked | How do I get PicoPix Viewer working? |
|
Aug 23 |
awarded | Yearling |
|
Aug 8 |
comment |
How can I use a passcode generator for authentication for remote logins? And if you're using Puppet, there's a puppet module here: github.com/camptocamp/puppet-googleauthenticator |
|
Apr 27 |
comment |
How can I get apt to use a mirror close to me, or choose a faster mirror? That works when you're lucky. I've disabled it on our desktops now because it would often return broken mirrors (the kind that give you 403 occasionally). |
|
Mar 29 |
awarded | Nice Answer |
|
Mar 21 |
comment |
How can I remove duplicate second Unity Launcher on a Dual Screen setup? Nice answer. For the record, I have set the following values: /apps/compiz-1/plugins/unityshell/screen0/options/overcom_pressure=1 to make it possible to pass from one screen to another flawlessly and /apps/compiz-1/plugins/unityshell/screen0/options/stop_velocity=20 to still make it possible to access the hidden launcher on the left screen. |
|
Mar 21 |
asked | Can I change what displays the Launcher is shown on |
|
Feb 22 |
revised |
Losing bandwidth syntax highlighting |
|
Feb 22 |
suggested | suggested edit on Losing bandwidth |
|
Feb 21 |
comment |
So, what is the advantage of using the terminal? I'd call ` bad ticks... It's better to use ls /home/$(whoami) nowadays :-) |
|
Jan 26 |
comment |
How do I get an ssh -X session to use the host's sound settings Have you tried using NX instead of ssh -X ? It still goes through SSH, will make the session faster, and supports audio export: nomachine.com/ar/view.php?ar_id=AR03D00355 |
