Latest Post

Aug 17, 2018

Working with remote machines

As a heavy shell user, I typically try to reduce the number of keystrokes required to fulfill a certain task. As I am working a lot with remote machines, I am logging into those machines pretty often. Problem statement In order to log into a remote machine, I am using the ssh command. The typical command is ssh <user>@, if the user is named differently on the other machine. I am often facing the following problems: ...Read More

All Posts