188 reputation
19
bio website cirosantilli.com
location France
age 25
visits member for 2 years, 3 months
seen Jul 2 at 19:12

Master 2 in Applied Mathematics at Ecole Polytechnique (Lozere, France). Current occupation.

I know: C, C++, Python, Linux, Rails, Vim... CV

Interested in: elearning, gamification, CMS, lightweight markup

My "best" answers:

These are answers on which I worked a lot, and/or contain hard to find useful information. They are not necessarily the most upvoted ones.


Jul
1
comment What characters are safe in cross-platform file names for Linux, Windows and OS-X
possible cross site duplicate of: stackoverflow.com/questions/4814040/…
Jun
17
comment !xdg-open <URL> doesn't open the website in my default browser
Can anyone explain why this works and the original not?
Jun
12
awarded  Necromancer
Jun
12
revised What is the cURL command-line syntax to do a POST request?
reduce example noise
Jun
5
comment VIM: Save a file as a different filename, but keep :w as the current filename
Possible cross site duplicate of: stackoverflow.com/questions/4980168/…
Jun
3
comment Can I delete my fork before the pull request gets accepted?
This is why GitLab's protected branche workflow is so cool: github.com/gitlabhq/gitlabhq/blob/…
Jun
3
comment Can I delete my fork before the pull request gets accepted?
The pull request is there, but it shows "Unknown branch" for me.
May
6
revised What is the cURL command-line syntax to do a POST request?
Short form of data.
Apr
10
suggested suggested edit on Linux command to repeat a string n times
Apr
10
comment Linux command to repeat a string n times
This is the shortest POSIX 7 solution I have seen so far since seq, yes and {1..5} are not POSIX 7.
Mar
25
answered What is the cURL command-line syntax to do a POST request?
Mar
23
comment How can I tell Vim to show ANSI escape codes properly?
Related: unix.stackexchange.com/questions/7695/… (not dupe because he wants Vim as a pager)
Mar
15
comment Concatenating ogg video files from the command line
@Noufal: I reproduce failure on Ubuntu 12.04 with error OggRingbuffer::getNextPageLength: ERROR ogg packet not aligned. Launchpad issue here, claims fixed in 12.10. What system are you in?
Mar
11
comment How to execute a command whenever a file changes?
Possible cross site duplicate of: stackoverflow.com/questions/2972765/… ( although here it is on topic =) )
Feb
28
comment Difference between host name and domain name
@nik: in www.google.com is the hostname just www or www.google.com? Gillian says www.google.com. If so, that means that the hostname depends on where you are is that it? (local vs remote)
Feb
10
awarded  Autobiographer
Feb
2
comment Can't remove remote branch in git
Possible cross site duplicate of: stackoverflow.com/questions/3301956/…
Feb
1
awarded  Commentator
Feb
1
comment Can't remove remote branch in git
Is there no pure git way of doing it?
Jan
26
awarded  Citizen Patrol