Thanks - but can you tell me what the actual commands/steps would be though for Linux to get from seed passphrase to the private/public key?
You can also download the html/js code from
https://www.bitaddress.org/ Open your local instance with your browser; go to the tab "Brain wallet" and put there your password. If paranoid, unplug the net cord before proceeding.