Show local checkout and revs in kup list (#102)

Author: goodlyrottenapple

src/kup/__main__.py

@@ -179,7 +179,7 @@ def package_metadata_tree(
     if lbl is None:
         tree = Tree('Inputs:')
     else:
-        rev = f' - github:{p.org}/{p.repo}' if type(p) == PackageMetadata else ''
+        rev = f' - github:{p.org}/{p.repo} \033[3m({p.rev[:7]})\033[0m' if type(p) == PackageMetadata else ''
         follows = (' - follows [green]' + '/'.join(p.follows)) if type(p) == Follows else ''
         status = ''
         if show_status and type(p) == PackageMetadata:
@@ -197,7 +197,6 @@ def package_metadata_tree(
                         status = f' 🟠 {idx} versions behind master '
                     else:
                         status = f' 🔴 {idx} versions behind master'
-
         if status != '':
             tree = Tree(Columns([Align(f'{lbl}{rev}{follows}'), Align(status, align='right')], expand=True))
         else:
@@ -367,7 +366,11 @@ def list_package(package_name: str, show_inputs: bool, show_status: bool) -> Non
         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 ""}' if type(p) == ConcretePackage else '',
+                f'{p.commit}{" (" + p.tag + ")" if p.tag else ""}'
+                if type(p) == ConcretePackage
+                else '\033[3mlocal checkout\033[0m'
+                if type(p) == LocalPackage
+                else '',
                 p.status if type(p) == ConcretePackage else AVAILABLE,
             ]
             for alias, p in packages.items()

src/kup/list-help.md

@@ -49,15 +49,15 @@ Adding the `--inputs` flag will print out the dependency tree of the given packa
 ```
 ➜ kup list kevm --inputs
 Inputs:
-├── blockchain-k-plugin - github:runtimeverification/blockchain-k-plugin 8fdc74e
+├── blockchain-k-plugin - github:runtimeverification/blockchain-k-plugin (8fdc74e)
 ├── haskell-backend - follows k-framework/haskell-backend
-├── k-framework - github:runtimeverification/k 43f56ac
-│   ├── haskell-backend - github:runtimeverification/haskell-backend 4c3c436
-│   ├── llvm-backend - github:runtimeverification/llvm-backend 94e8f4b
-│   │   └── immer-src - github:runtimeverification/immer 198c2ae
-│   └── rv-utils - github:runtimeverification/rv-nix-tools 7026604
+├── k-framework - github:runtimeverification/k (43f56ac)
+│   ├── haskell-backend - github:runtimeverification/haskell-backend (4c3c436)
+│   ├── llvm-backend - github:runtimeverification/llvm-backend (94e8f4b)
+│   │   └── immer-src - github:runtimeverification/immer (198c2ae)
+│   └── rv-utils - github:runtimeverification/rv-nix-tools (7026604)
 ├── pyk - github:runtimeverification/pyk 4240899
-└── rv-utils_2 - github:runtimeverification/rv-nix-tools 7026604
+└── rv-utils_2 - github:runtimeverification/rv-nix-tools (7026604)
 ```
 
 `kup` allows any of these dependencies to be overridden when installing, updating or opening a temporary shell. For example, to override the `llvm-backend` dependency, you can do a local checkout of [github.com/runtimeverification/llvm-backend](github.com/runtimeverification/llvm-backend) and then build `kevm` against the checkout via