Reputation
388
Top tag
Next privilege 500 Rep.
Access review queues
Badges
1 4 15
Impact
~33k people reached

  • 0 posts edited
  • 0 helpful flags
  • 10 votes cast
Aug
13
accepted SSH into a remote shell, execute a 'source' command, and stay in the remote shell
Aug
13
comment SSH into a remote shell, execute a 'source' command, and stay in the remote shell
To wrap this all up, if you put my one-liner into your answer, I will gladly accept it. Thanks.
Aug
13
comment SSH into a remote shell, execute a 'source' command, and stay in the remote shell
(The point 4 makes the remote shell quit too)
Aug
13
comment SSH into a remote shell, execute a 'source' command, and stay in the remote shell
Seems like I made it work with ssh -t user@host "cd /path/to/dir ; echo '. ~/.bashrc ; . s ; rm rcforssh' > rcforssh ; /bin/bash --rcfile rcforssh"
Aug
13
comment SSH into a remote shell, execute a 'source' command, and stay in the remote shell
Well, guess there is no way to make it one line with this approach
Aug
13
comment SSH into a remote shell, execute a 'source' command, and stay in the remote shell
I meant something potentially using echo and piping
Aug
13
comment SSH into a remote shell, execute a 'source' command, and stay in the remote shell
Can I load the bashrc file from the standard input on the fly so that it all becomes a single command line?
Aug
13
comment SSH into a remote shell, execute a 'source' command, and stay in the remote shell
Maybe I could. Haven't done such thing before.
Aug
13
comment SSH into a remote shell, execute a 'source' command, and stay in the remote shell
I'm afraid it's the latter
Aug
13
revised SSH into a remote shell, execute a 'source' command, and stay in the remote shell
edited body
Aug
13
asked SSH into a remote shell, execute a 'source' command, and stay in the remote shell
Mar
2
awarded  Popular Question
Feb
11
awarded  Notable Question
Jan
27
awarded  Notable Question
Dec
31
accepted Feed source command with a pipe
Dec
31
comment Feed source command with a pipe
That worked, thank you. And Happy New Year!
Dec
31
asked Feed source command with a pipe
Nov
20
awarded  Famous Question
Aug
27
awarded  Popular Question
Jul
2
awarded  Curious