[[PageOutline(1-4)]] = {{{Padre::Plugin::ReDevel}}} Padre support for remote development mainly through SSH. STATUS: !ReDevel plugin is used in my daily work. It saves/sends file (after Crtl+S keypress in Padre editor) to remote machine through SSH. Plugin choose (based on actual editor's session name) proper configuration with local to remote directories/files mapping. Base documentation inside [https://github.com/mj41/Padre-Plugin-ReDevel/blob/master/docs docs] directory. --- [[Image(ReDevel.png)]]