[OT] Which IDE / Editor do you use?

[Nick Sabalausky]

On Thu, 19 Sep 2013 17:17:24 +0200
"Wyatt" <wyatt.epp at gmail.com> wrote:

> On Thursday, 19 September 2013 at 14:49:35 UTC, Adam D. Ruppe 
> wrote:
> >
> > actually, I do want some way to transfer files easily. Using 
> > scp and so on is kinda a pain, I would like to just
> >
> > cat file > REMOTE_COMPUTER
> >
> > and be done with it. scp is ok if you have keys set up on both 
> > sides and they are unix, but when you're on putty and just want 
> > to dump a file over to the Windows side, what I'd love is to 
> > hit a command and then get a save as prompt on the receiving 
> > end. Or, better yet, run a program right on it too.
> >
> At the lowest level, you could use netcat for this (and like a 
> million other awesome/silly things).  An rsync daemon might also 
> pinch hit here.  But it sounds like what you really want is a 
> writable CIFS mount.  Or sshfs.
> 

I love sshfs.

Only thing is, I wish it were better integrated with ssh command lines.
I don't know it would work though. Maybe establishing an sshfs
connection would also establish a nickname you could prefix to commands
to execute them remotely, plus special attention for remote envars.
Something like:

joe at home$ pwd
/etc/blah

joe at home$ sshfs remoteuser at myserver ...etc... --cli=ssh-myserver

joe at home$ pwd
/etc/blah

joe at home$ ssh-myserver pwd
/home/remoteuser

joe at home$ echo $HOME
/home/joe

joe at home$ echo $ssh-myserver->HOME
/home/remoteuser

joe at home$ ssh-myserver echo $HOME
/home/joe

joe at home$ ssh-myserver echo $ssh-myserver->HOME
/home/remoteuser

joe at home$ cp ~/hello.d /mnt/myserver
joe at home$ ssh-myserver cat hello.d
import std.stdio; void main() { writeln("hello"); }

joe at home$ sshfs cli ssh-myserver
remoteuser at myserver$ pwd
/home/remoteuser

remoteuser at myserver$ echo $HOME
/home/remoteuser

remoteuser at myserver$ -- Mostly just like a normal ssh prompt now, but
with bonuses (bonuses require special support on remote system)

remoteuser at myserver$ ssh-client pwd
/etc/blah

remoteuser at myserver$ echo $-<HOME
/home/joe

remoteuser at myserver$ echo "Made on myserver" > /ssh-client/msg.txt
remoteuser at myserver$ exit
joe at home$ cat msg.txt
Made on myserver