##// END OF EJS Templates
Merge pull request #13200 from meeseeksmachine/auto-backport-of-pr-13198-on-7.x...
Matthias Bussonnier -
r26866:af64c309 merge
parent child Browse files
Show More
@@ -374,7 +374,7 b' class BaseIPythonApplication(Application):'
374 self.log.fatal("Profile %r not found."%self.profile)
374 self.log.fatal("Profile %r not found."%self.profile)
375 self.exit(1)
375 self.exit(1)
376 else:
376 else:
377 self.log.debug("Using existing profile dir: %r"%p.location)
377 self.log.debug(f"Using existing profile dir: {p.location!r}")
378 else:
378 else:
379 location = self.config.ProfileDir.location
379 location = self.config.ProfileDir.location
380 # location is fully specified
380 # location is fully specified
@@ -394,7 +394,7 b' class BaseIPythonApplication(Application):'
394 self.log.fatal("Profile directory %r not found."%location)
394 self.log.fatal("Profile directory %r not found."%location)
395 self.exit(1)
395 self.exit(1)
396 else:
396 else:
397 self.log.info("Using existing profile dir: %r"%location)
397 self.log.debug(f"Using existing profile dir: {p.location!r}")
398 # if profile_dir is specified explicitly, set profile name
398 # if profile_dir is specified explicitly, set profile name
399 dir_name = os.path.basename(p.location)
399 dir_name = os.path.basename(p.location)
400 if dir_name.startswith('profile_'):
400 if dir_name.startswith('profile_'):
General Comments 0
You need to be logged in to leave comments. Login now