![]() | Name | Last modified | Size |
---|---|---|---|
![]() | Parent Directory | - | |
![]() | dists/ | 2023-03-01 10:58 | - |
![]() | pool/ | 2023-03-01 11:02 | - |
wget -O - https://packages.netways.de/netways-repo.asc | sudo gpg --dearmor > /etc/apt/trusted.gpg.d/netways.gpg DIST=$(awk -F"[)(]+" '/VERSION=/ {print $2}' /etc/os-release) echo "deb https://packages.netways.de/extras/debian ${DIST} main" | sudo tee /etc/apt/sources.list.d/netways-extras.list sudo apt update