summaryrefslogtreecommitdiff
path: root/infra/dgit-repos-policy-debian
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2018-07-23 11:00:09 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2018-07-23 11:00:10 +0100
commit94fa2654f99556f17b0c98712b29d1bec3a8f91b (patch)
treed0d3e368bb443f6ce2aa04966c6001ceacb39bca /infra/dgit-repos-policy-debian
parent9ee8857bdfcfe774a33811a60d61012fffd5dba2 (diff)
apt-get method: when apt does not update release files, print hint
Unconditionally print hint about noatime. This problem seems to occur quite rarely (noatime is out of fashion nowadays, and I haven't seen any other causes) so it doesn't seem worth fiddling about writing code to determine the mount options. Instead, print a hint and let the user investigate. Closes:#851873. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra/dgit-repos-policy-debian')
0 files changed, 0 insertions, 0 deletions