File indexing completed on 2025-07-13 13:59:03 

0001 #!/bin/sh
0002 
0003 set -e
0004 
0005 #refresh apt cache including appstream cache
0006 apt-get update