##// 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 398 self.log.fatal("Profile %r not found."%self.profile)
399 399 self.exit(1)
400 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 402 else:
403 403 location = self.config.ProfileDir.location
404 404 # location is fully specified
@@ -418,7 +418,7 b' class BaseIPythonApplication(Application):'
418 418 self.log.fatal("Profile directory %r not found."%location)
419 419 self.exit(1)
420 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 422 # if profile_dir is specified explicitly, set profile name
423 423 dir_name = os.path.basename(p.location)
424 424 if dir_name.startswith('profile_'):
General Comments 0
You need to be logged in to leave comments. Login now