Explore >> Select a destination
|
You are here 
|
wiki.ros.org | ||
| | | | |
moinmo.in
|
|
| | | | | ||
| | | | |
mywiki.wooledge.org
|
|
| | | | | ||
| | | | |
earth.hoyd.net
|
|
| | | | | Forgot to give a name to a screen when starting it?all you need is the screen id number, which you can find with$ screen -listand rename it like this: $ screen -rd id_number -X sessionname new_screen_namewhere id_number is found from the list and new_screen_name is the name you w | |
| | | | |
www.vegardno.net
|
|
| | | (This post contains some reflections on the hypothetical design of an ideal programming language...) Don't use or support the use of preproc... | ||
