diff options
Diffstat (limited to 'doc/todo/factor_out_Grub.configured_for_any___47__etc__47__default_config/comment_1_5039acea906faba7a0b33094028a475f._comment')
-rw-r--r-- | doc/todo/factor_out_Grub.configured_for_any___47__etc__47__default_config/comment_1_5039acea906faba7a0b33094028a475f._comment | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/todo/factor_out_Grub.configured_for_any___47__etc__47__default_config/comment_1_5039acea906faba7a0b33094028a475f._comment b/doc/todo/factor_out_Grub.configured_for_any___47__etc__47__default_config/comment_1_5039acea906faba7a0b33094028a475f._comment new file mode 100644 index 00000000..b4b924ac --- /dev/null +++ b/doc/todo/factor_out_Grub.configured_for_any___47__etc__47__default_config/comment_1_5039acea906faba7a0b33094028a475f._comment @@ -0,0 +1,12 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 1""" + date="2018-05-03T16:46:45Z" + content=""" +Agreed on all points, also there are some +`File.containsLine` properties for /etc/default files elsewhere that +don't necessarily work correctly if a later line changes the value, +that could be converted to use this new property. + +Your name ideas sound fine to me. +"""]] |