Closed ko-yamamoto closed 8 years ago
I added the feature to filter also the alias of the host. If I you like it, please merge.
Good idea! I've refactored it a bit, adding some more config options to let the user specify hostname/alias/username/port filtering. Published in remote-edit@v1.8.24.
I added the feature to filter also the alias of the host. If I you like it, please merge.