Re: [TxMt] Editing remote files, was:great .bash_profile tip and question