diff options
| author | Evgeni Golov <evgeni@grml.org> | 2014-03-29 14:37:07 +0100 |
|---|---|---|
| committer | Daniel Baumann <daniel@127011.net> | 2014-03-29 14:37:27 +0100 |
| commit | 28ca8298a10702e391e420975205a98450d4cf7d (patch) | |
| tree | 381d84f38e40bc4f67bb2d7fd10fd179f46e0033 /manpages/pot | |
| parent | e31d7cec9e48617a7509bab38cac32958f431d4e (diff) | |
| download | live-boot-28ca8298a10702e391e420975205a98450d4cf7d.tar.gz live-boot-28ca8298a10702e391e420975205a98450d4cf7d.zip | |
Do not throw warnings when /tmp/custom_mounts.list does not exist.
When no device for an overlay can be found, /tmp/custom_mounts.list
won't be created and will produce warnings while booting:
sort: /tmp/custom_mounts.list: No such file or directory
rm: can't remove '/tmp/custom_mounts.list': No such file or directory
Properly handle this case by calling rm with the -f option and calling
sort only when the file exists.
Diffstat (limited to 'manpages/pot')
0 files changed, 0 insertions, 0 deletions