X-Git-Url: https://wannabe.guru.org/gitweb/?a=blobdiff_plain;f=text_utils.py;h=94df3e3499756a86955ebc3ee7330e5329720255;hb=36fea7f15ed17150691b5b3ead75450e575229ef;hp=8ea6e196001e795daec223e166e01d9aed33a009;hpb=709370b2198e09f1dbe195fe8813602a3125b7f6;p=python_utils.git diff --git a/text_utils.py b/text_utils.py index 8ea6e19..94df3e3 100644 --- a/text_utils.py +++ b/text_utils.py @@ -3,6 +3,7 @@ """Utilities for dealing with "text".""" from collections import defaultdict +import logging import math import sys from typing import List, NamedTuple, Optional @@ -10,6 +11,9 @@ from typing import List, NamedTuple, Optional from ansi import fg, reset +logger = logging.getLogger(__file__) + + class RowsColumns(NamedTuple): rows: int columns: int @@ -18,8 +22,16 @@ class RowsColumns(NamedTuple): def get_console_rows_columns() -> RowsColumns: """Returns the number of rows/columns on the current console.""" - from exec_utils import cmd - rows, columns = cmd("stty size").split() + from exec_utils import cmd_with_timeout + + try: + rows, columns = cmd_with_timeout( + "stty size", + timeout_seconds=1.0, + ).split() + except Exception as e: + logger.exception(e) + raise Exception('Can\'t determine console size?!') return RowsColumns(int(rows), int(columns)) @@ -39,16 +51,13 @@ def progress_graph( ret = "\r" if redraw else "\n" bar = bar_graph( percent, - include_text = True, - width = width, - fgcolor = fgcolor, - left_end = left_end, - right_end = right_end) - print( - bar, - end=ret, - flush=True, - file=sys.stderr) + include_text=True, + width=width, + fgcolor=fgcolor, + left_end=left_end, + right_end=right_end, + ) + print(bar, end=ret, flush=True, file=sys.stderr) def bar_graph( @@ -83,13 +92,16 @@ def bar_graph( part_width = math.floor(remainder_width * 8) part_char = [" ", "▏", "▎", "▍", "▌", "▋", "▊", "▉"][part_width] return ( - left_end + - fgcolor + - "█" * whole_width + part_char + - " " * (width - whole_width - 1) + - reset + - right_end + " " + - text) + left_end + + fgcolor + + "█" * whole_width + + part_char + + " " * (width - whole_width - 1) + + reset + + right_end + + " " + + text + ) def distribute_strings( @@ -117,6 +129,10 @@ def distribute_strings( string, width=subwidth, alignment=alignment, padding=padding ) retval += string + while len(retval) > width: + retval = retval.replace(' ', ' ', 1) + while len(retval) < width: + retval = retval.replace(' ', ' ', 1) return retval @@ -135,13 +151,14 @@ def justify_string_by_chunk( padding = padding[0] first, *rest, last = string.split() w = width - (len(first) + 1 + len(last) + 1) - retval = ( - first + padding + distribute_strings(rest, width=w, padding=padding) + ret = ( + first + + padding + + distribute_strings(rest, width=w, padding=padding) + + padding + + last ) - while len(retval) + len(last) < width: - retval += padding - retval += last - return retval + return ret def justify_string( @@ -167,11 +184,7 @@ def justify_string( elif alignment == "r": string = padding + string elif alignment == "j": - return justify_string_by_chunk( - string, - width=width, - padding=padding - ) + return justify_string_by_chunk(string, width=width, padding=padding) elif alignment == "c": if len(string) % 2 == 0: string += padding @@ -232,7 +245,7 @@ def wrap_string(text: str, n: int) -> str: return out -class Indenter: +class Indenter(object): """ with Indenter(pad_count = 8) as i: i.print('test') @@ -241,11 +254,14 @@ class Indenter: with i: i.print('1, 2, 3') """ - def __init__(self, - *, - pad_prefix: Optional[str] = None, - pad_char: str = ' ', - pad_count: int = 4): + + def __init__( + self, + *, + pad_prefix: Optional[str] = None, + pad_char: str = ' ', + pad_count: int = 4, + ): self.level = -1 if pad_prefix is not None: self.pad_prefix = pad_prefix @@ -264,10 +280,34 @@ class Indenter: def print(self, *arg, **kwargs): import string_utils + text = string_utils.sprintf(*arg, **kwargs) print(self.pad_prefix + self.padding * self.level + text, end='') +def header(title: str, *, width: int = 80, color: str = ''): + """ + Returns a nice header line with a title. + + >>> header('title', width=60, color='') + '----[ title ]-----------------------------------------------' + + """ + w = width + w -= len(title) + 4 + if w >= 4: + left = 4 * '-' + right = (w - 4) * '-' + if color != '' and color is not None: + r = reset() + else: + r = '' + return f'{left}[ {color}{title}{r} ]{right}' + else: + return '' + + if __name__ == '__main__': import doctest + doctest.testmod()