get_new_filename.py
88e97ff5f796feature_greedy_coarseni…

get_new_filename.py
View Options

			# Copyright (C) 2018 by the RROMPy authors
			#
			# This file is part of RROMPy.
			#
			# RROMPy is free software: you can redistribute it and/or modify
			# it under the terms of the GNU Lesser General Public License as published by
			# the Free Software Foundation, either version 3 of the License, or
			# (at your option) any later version.
			#
			# RROMPy 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 Lesser General Public License for more details.
			#
			# You should have received a copy of the GNU Lesser General Public License
			# along with RROMPy. If not, see <http://www.gnu.org/licenses/>.
			#

			import os
			import time

			__all__ = ['getNewFilename']

			def getNewFilename(prefix : str = "", extension : str = "dat",
			timestamp : bool = True) -> str:
			extra = ""
			if timestamp: extra = time.strftime("_%y-%m-%d_%H:%M:%S", time.localtime())
			filenameBase = "{}{}.{}".format(prefix, extra, extension)
			idx = 0
			filename = filenameBase
			while os.path.exists(filename):
			idx += 1
			filename = filenameBase + "{}".format(idx)
			return filename