##// END OF EJS Templates
set profile name from profile_dir...
MinRK -
Show More
@@ -322,6 +322,10 b' class BaseIPythonApplication(Application):'
322 322 self.exit(1)
323 323 else:
324 324 self.log.info("Using existing profile dir: %r"%location)
325 # if profile_dir is specified explicitly, set profile name
326 dir_name = os.path.basename(p.location)
327 if dir_name.startswith('profile_'):
328 self.profile = dir_name[8:]
325 329
326 330 self.profile_dir = p
327 331 self.config_file_paths.append(p.location)
General Comments 0
You need to be logged in to leave comments. Login now