Changes between Initial Version and Version 1 of PadrePluginReDevel


Ignore:
Timestamp:
Mar 7, 2012, 9:14:01 PM (3 years ago)
Author:
mj41
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PadrePluginReDevel

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