##// END OF EJS Templates
trigger default remote_profile_dir when profile_dir is set...
trigger default remote_profile_dir when profile_dir is set in SSHLaunchers remote_profile_dir_default could be triggered before profile_dir was set, resulting in an empty remote_profile_dir, causing failures.
MinRK -
r8596:117d46e0
Show More
Name Size Modified Last Commit Author
/ IPython / core / magics
__init__.py Loading ...
auto.py Loading ...
basic.py Loading ...
code.py Loading ...
config.py Loading ...
deprecated.py Loading ...
display.py Loading ...
execution.py Loading ...
extension.py Loading ...
history.py Loading ...
logging.py Loading ...
namespace.py Loading ...
osm.py Loading ...
pylab.py Loading ...
script.py Loading ...