Shorten hashes in kup list in narrow terminal (#125)

Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com>

Author: goodlyrottenapple

src/kup/__main__.py

@@ -1,6 +1,7 @@
 import configparser
 import json
 import os
+import shutil
 import subprocess
 import sys
 import textwrap
@@ -55,6 +56,8 @@
 KUP_DIR = os.path.split(os.path.abspath(__file__))[0]  # i.e. /path/to/dir/
 VERBOSE = False
 
+TERMINAL_WIDTH, _ = shutil.get_terminal_size((80, 20))
+
 available_packages: list[GithubPackage] = [
     GithubPackage('runtimeverification', 'kup', PackageName('kup')),
     GithubPackage('runtimeverification', 'k', PackageName('k')),
@@ -378,7 +381,7 @@ def list_package(
         table_data = [['Package name (alias)', 'Installed version', 'Status'],] + [
             [
                 str(PackageName(alias, p.package_name.ext).pretty_name),
-                f'{p.commit}{" (" + p.tag + ")" if p.tag else ""}'
+                f'{p.commit[:7] if TERMINAL_WIDTH < 80 else p.commit}{" (" + p.tag + ")" if p.tag else ""}'
                 if type(p) == ConcretePackage
                 else '\033[3mlocal checkout\033[0m'
                 if type(p) == LocalPackage