25 lines
852 B
Diff
25 lines
852 B
Diff
diff --git a/lenses/modprobe.aug b/lenses/modprobe.aug
|
|
index bd897b9..d96f902 100644
|
|
--- a/lenses/modprobe.aug
|
|
+++ b/lenses/modprobe.aug
|
|
@@ -73,6 +73,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/)
|
|
@@ -92,6 +97,7 @@ let entry = alias
|
|
| options
|
|
| kv_line_command /install|remove/
|
|
| blacklist
|
|
+ | allow_unsupported_modules
|
|
| config
|
|
| softdep
|
|
|