meta user
network profile
| bio | website | corti.li |
|---|---|---|
| location | Bern, Switzerland | |
| age | 38 | |
| visits | member for | 1 year, 8 months |
| seen | 1 hour ago | |
| stats | profile views | 132 |
I was born in Ticino (the southern part of Switzerland where people speak Italian) in 1974. I lived there until 1993 when I moved to Zürich to study computer science at the Swiss Federal Institute of Technology.
After graduation I joined the Laboratory for Software Technology under the supervision of Prof. Thomas Gross to work in the field of compiler construction. I defended my thesis Approximating the Worst-Case Execution Time of Soft Real-Time Applications in March 2005.
After working for three month as as a compiler engineer at Freescale Semiconductor in Schlieren, Zürich, Switzerland I joined in November 2005 the Information and Communication Services of the ETH Zurich.
Since May 2008 I am head of the Web Applications and Identity Management group of the Information and Communication Services of the ETH Zurich.
Since October 2010 I moved to Bern.
|
May 14 |
revised |
How can I delete a hardlink to a directory? Formatting |
|
May 10 |
awarded | Custodian |
|
May 10 |
reviewed | Edit suggested edit on reinstall all FreeBSD packages with pkg_add, pkg_info |
|
May 10 |
revised |
reinstall all FreeBSD packages with pkg_add, pkg_info the variable expansion just work on bash (maybe sh, but not on csh) |
|
May 10 |
answered | Why is sed giving me an error about an unterminated `s'? |
|
May 2 |
comment |
How to install multiple glibc on fedora On a side note: Fedora 4 is no more supported since a long time. If your system is online I would strongly suggest to a system with security updates ... |
|
Apr 26 |
awarded | Custodian |
|
Apr 23 |
comment |
There is a small correction tn shell scripting in linux whathaveyoutried.com |
|
Apr 22 |
awarded | Enlightened |
|
Apr 22 |
awarded | Nice Answer |
|
Apr 18 |
revised |
Sending mail using sendmail Formatting (and spelling) |
|
Apr 15 |
comment |
Deleting all C comments with sed Perl will only solve the problem of comments on more than one line. Comments cannot be specified with a simple regex: think about comments in strings (that should not be removed) or something like /* /* */. |
|
Apr 8 |
comment |
How to create a password protected shell script Don't post the same question on multiple sites: stackoverflow.com/questions/15871805/… |
|
Apr 8 |
answered | How to create a password protected shell script |
|
Feb 28 |
awarded | Popular Question |
|
Feb 22 |
comment |
How to find what device a file is on (and use that in a script)? It is the usual UNIX way if there is no single command to do it. As @derobert commented you can just use stat -f "%Sdf". |
|
Feb 20 |
revised |
How do I set a user environment variable? (permanently, not session) Minor formatting |
|
Feb 20 |
awarded | Nice Answer |
|
Feb 13 |
answered | Why can I only run a .sh file from the parent directory, not the child directory |
|
Jan 24 |
comment |
What is log_daemon_msg ? Show the complete file: it is likely that this is function defined in a file sourced at the beginning of /etc/init.d/ssh |
