diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-23 11:00:09 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-23 11:00:10 +0100 |
commit | 94fa2654f99556f17b0c98712b29d1bec3a8f91b (patch) | |
tree | d0d3e368bb443f6ce2aa04966c6001ceacb39bca /dgit | |
parent | 9ee8857bdfcfe774a33811a60d61012fffd5dba2 (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 'dgit')
-rwxr-xr-x | dgit | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -1237,7 +1237,14 @@ END } my @inreleasefiles = grep { m#/InRelease$# } @releasefiles; @releasefiles = @inreleasefiles if @inreleasefiles; - die "apt updated wrong number of Release files (@releasefiles), erk" + if (!@releasefiles) { + fail <<END; +apt seemed to not to update dgit's cached Release files for $isuite. +(Perhaps $cache + is on a filesystem mounted `noatime'; if so, please use `relatime'.) +END + } + die "apt updated too many Release files (@releasefiles), erk" unless @releasefiles == 1; ($aptget_releasefile) = @releasefiles; |