file-system: Add mount-may-fail? option.
authorMathieu Othacehe <othacehe@gnu.org>
Fri, 31 Jul 2020 11:43:20 +0000 (13:43 +0200)
committerMathieu Othacehe <othacehe@gnu.org>
Fri, 31 Jul 2020 11:43:20 +0000 (13:43 +0200)
commit7c27bd115b14afd142da7684cc349369965f9eab
treebd8ee8a4e6ec582481f926820fc4bfe0b8740f23
parent6bb07e91e1ab9367f636a3a5e9d52a9e0772aa89
file-system: Add mount-may-fail? option.

* gnu/system/file-systems.scm (<file-system>): Add a mount-may-fail? field.
(file-system->spec): adapt accordingly,
(spec->file-system): ditto.
* gnu/build/file-systems.scm (mount-file-system): If 'system-error is raised
and mount-may-fail? is true, ignore it. Otherwise, re-raise the exception.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
gnu/build/file-systems.scm
gnu/system/file-systems.scm