DEV_NOTES

NOTES:
 - Tunnel deletes the launcher's ssh pid, but not the tunnel's pid
   (typically ssh pid + 1) --> could use "getpid" to grab it...
 - using "known_hosts" file to get $PROFILE is a temporary solution.
   Should use old gsl.infect (now pox) code to explore & find out,
   instead of relying on a user-built 'database'.
 - RPyC supposedly works for the existing code... check it out.


========== install_package ========================
notes:
  - failure on "login"
    (won't source .cshrc)
  - partial success on "shb-b"
    (sources .bash_profile; pp ok; but can't "use")
  - partial success on "upgrayedd" [same on shc-c?]
    (sources .profile; pp ok; rpyc won't install from scratch)
---------------------------------------------------