diff --git a/leanup/__init__.py b/leanup/__init__.py index 85a1bc5..2d87293 100644 --- a/leanup/__init__.py +++ b/leanup/__init__.py @@ -2,7 +2,7 @@ __author__ = """Lean-zh Community""" __email__ = 'leanprover@outlook.com' -__version__ = '0.1.8' +__version__ = '0.1.9' from .repo import RepoManager, ElanManager, LeanRepo from .utils import setup_logger, execute_command, working_directory diff --git a/leanup/utils/custom_logger.py b/leanup/utils/custom_logger.py index 401c857..8dc37f8 100644 --- a/leanup/utils/custom_logger.py +++ b/leanup/utils/custom_logger.py @@ -5,7 +5,7 @@ from colorama import Fore, Style # Initialize colorama for Windows support -colorama.init() +# colorama.init() class ColoredFormatter(logging.Formatter): """Custom formatter adding colors to log levels""" @@ -108,4 +108,4 @@ def add_color_flag(record): file_handler.setFormatter(file_formatter) logger.addHandler(file_handler) - return logger \ No newline at end of file + return logger