From 05308a663a4039a6b7f524e8378e262f6c8dee99 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Wed, 4 Jun 2014 14:49:50 +0200 Subject: [PATCH] run_profile: Rename --keep to --profile-keep --- scripts/run_profile.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/run_profile.py b/scripts/run_profile.py index 7f499212c..d207c2b79 100755 --- a/scripts/run_profile.py +++ b/scripts/run_profile.py @@ -14,8 +14,8 @@ import qutebrowser.qutebrowser # pylint: disable=unused-import tempdir = mkdtemp() -if '--keep' in sys.argv: - sys.argv.remove('--keep') +if '--profile-keep' in sys.argv: + sys.argv.remove('--profile-keep') profilefile = os.path.join(getcwd(), 'profile') else: profilefile = os.path.join(tempdir, 'profile')