diff libervia/frontends/quick_frontend/quick_utils.py @ 4074:26b7ed2817da

refactoring: rename `sat_frontends` to `libervia.frontends`
author Goffi <goffi@goffi.org>
date Fri, 02 Jun 2023 14:12:38 +0200
parents sat_frontends/quick_frontend/quick_utils.py@4b842c1fb686
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/libervia/frontends/quick_frontend/quick_utils.py	Fri Jun 02 14:12:38 2023 +0200
@@ -0,0 +1,54 @@
+#!/usr/bin/env python3
+
+
+# Primitivus: a SAT frontend
+# Copyright (C) 2009-2021 Jérôme Poisson (goffi@goffi.org)
+
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Affero General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU Affero General Public License for more details.
+
+# You should have received a copy of the GNU Affero General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+from libervia.backend.core.i18n import _
+from os.path import exists, splitext
+from optparse import OptionParser
+
+
+def get_new_path(path):
+    """ Check if path exists, and find a non existant path if needed """
+    idx = 2
+    if not exists(path):
+        return path
+    root, ext = splitext(path)
+    while True:
+        new_path = "%s_%d%s" % (root, idx, ext)
+        if not exists(new_path):
+            return new_path
+        idx += 1
+
+
+def check_options():
+    """Check command line options"""
+    usage = _(
+        """
+    %prog [options]
+
+    %prog --help for options list
+    """
+    )
+    parser = OptionParser(usage=usage)  # TODO: use argparse
+
+    parser.add_option("-p", "--profile", help=_("Select the profile to use"))
+
+    (options, args) = parser.parse_args()
+    if options.profile:
+        options.profile = options.profile
+    return options