2024-04-12 09:39:27 +02:00
|
|
|
#!/usr/bin/env sh
|
|
|
|
[ "$(whoami)" != root ] && exec sudo -- "$0" "$@"
|
|
|
|
|
|
|
|
set -x -e
|
2023-09-15 10:09:26 +02:00
|
|
|
apt-get clean
|
2023-07-28 10:18:41 +02:00
|
|
|
apt-get update
|
2023-11-12 13:49:55 +01:00
|
|
|
apt-file update
|
2023-07-28 10:18:41 +02:00
|
|
|
apt-get upgrade
|
2023-07-28 10:51:26 +02:00
|
|
|
apt-get autopurge
|