# HG changeset patch # User drewp@bigasterisk.com # Date 1702601197 28800 # Node ID cb9dce5b0731e596c3dfc2281152ab24cb9e9733 # Parent 9dee7fd80c52a8a5b7069c03771b68eb45b00220 update kitty diff -r 9dee7fd80c52 -r cb9dce5b0731 packages.py --- a/packages.py Thu Dec 14 16:46:22 2023 -0800 +++ b/packages.py Thu Dec 14 16:46:37 2023 -0800 @@ -8,7 +8,7 @@ def kitty(): - vers = '0.27.1' # see https://github.com/kovidgoyal/kitty/releases + vers = '0.31.0' # see https://github.com/kovidgoyal/kitty/releases home = '/home/drewp' local = f"{home}/.local/kitty" dl = f'/tmp/kitty-{vers}-x86_64.txz'