shell(3erl) on Linux

The text 84481ba195b5, as Debian 7 (Wheezy) shipped it.

The Erlang Shell

shell(3erl) on Linux now