GitHub - PadreIDE/Padre-Plugin-ReDevel: Padre Plugin for development on remote servers (mainly through SSH)

PadreIDE / Padre-Plugin-ReDevel Public

Notifications You must be signed in to change notification settings
Fork 1
Star 2

Padre Plugin for development on remote servers (mainly through SSH)

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 36 Commits
docs		docs
lib		lib
script		script
t		t
utils		utils
.gitignore		.gitignore
Changes		Changes
Makefile.PL		Makefile.PL
README		README
ToDo		ToDo
padre.yml		padre.yml

Repository files navigation

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.

See files in docs directory for more info.

This package is provided with absolutely no warranty. As always,
you should conduct an appropriate level of testing before using
any new product in your production environment.