A social command line for the web