From 39ee6545d91aa27b97ff163473f0b1c5ceeab0f5 Mon Sep 17 00:00:00 2001 From: Igor Pecovnik Date: Sun, 17 Sep 2023 09:23:38 +0200 Subject: [PATCH] Repository management - change control filename --- tools/repository/repo | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/repository/repo b/tools/repository/repo index 41b330a94..6ba7d5127 100755 --- a/tools/repository/repo +++ b/tools/repository/repo @@ -119,7 +119,7 @@ for release in "${distributions[@]}"; do #if [ $mainnum -gt 0 ] && [ $utilnum -gt 0 ] && [ $desknum -gt 0 ]; then # write repo sync control file mkdir -p ${2}/public/ - sudo date +%s > ${2}/public/.control + sudo date +%s > ${2}/public/control # publish echo "Publishing ${release}" aptly publish \