diff --git a/lenses/modprobe.aug b/lenses/modprobe.aug index f4bb27b..6b02b9c 100644 --- a/lenses/modprobe.aug +++ b/lenses/modprobe.aug @@ -70,6 +70,11 @@ let blacklist = Build.key_value_line_comment "blacklist" sep_space sto_no_spaces comment +(* View: allow_unsupported_modules *) +let allow_unsupported_modules = Build.key_value_line_comment "allow_unsupported_modules" sep_space + sto_no_spaces + comment + (* View: config *) let config = Build.key_value_line_comment "config" sep_space (store /binary_indexes|yes|no/) @@ -80,6 +85,7 @@ let entry = alias | options | kv_line_command /install|remove/ | blacklist + | allow_unsupported_modules | config (************************************************************************