##// END OF EJS Templates
Merge pull request #13198 from minrk/profiledir-full-log...
Matthias Bussonnier -
r26863:5aabdc16 merge
parent child Browse files
Show More
@@ -398,7 +398,7 b' class BaseIPythonApplication(Application):'
398 self.log.fatal("Profile %r not found."%self.profile)
398 self.log.fatal("Profile %r not found."%self.profile)
399 self.exit(1)
399 self.exit(1)
400 else:
400 else:
401 self.log.debug("Using existing profile dir: %r"%p.location)
401 self.log.debug(f"Using existing profile dir: {p.location!r}")
402 else:
402 else:
403 location = self.config.ProfileDir.location
403 location = self.config.ProfileDir.location
404 # location is fully specified
404 # location is fully specified
@@ -418,7 +418,7 b' class BaseIPythonApplication(Application):'
418 self.log.fatal("Profile directory %r not found."%location)
418 self.log.fatal("Profile directory %r not found."%location)
419 self.exit(1)
419 self.exit(1)
420 else:
420 else:
421 self.log.info("Using existing profile dir: %r"%location)
421 self.log.debug(f"Using existing profile dir: {p.location!r}")
422 # if profile_dir is specified explicitly, set profile name
422 # if profile_dir is specified explicitly, set profile name
423 dir_name = os.path.basename(p.location)
423 dir_name = os.path.basename(p.location)
424 if dir_name.startswith('profile_'):
424 if dir_name.startswith('profile_'):
General Comments 0
You need to be logged in to leave comments. Login now