Displaying 6 results from an estimated 6 matches for "67e85af2ad93".
2020 Jan 23
2
[common PATCH] Trim whitespaces from commands read from file
Signed-off-by: Martin Kletzander <mkletzan@redhat.com>
---
mlcustomize/customize_cmdline.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/mlcustomize/customize_cmdline.ml b/mlcustomize/customize_cmdline.ml
index c062379879e2..67e85af2ad93 100644
--- a/mlcustomize/customize_cmdline.ml
+++ b/mlcustomize/customize_cmdline.ml
@@ -481,6 +481,7 @@ let rec argspec () =
] in
let lines = read_whole_file filename in
let lines = String.lines_split lines in
+ let lines = List.map String.trim lines in
let lines = List.filt...
2020 Jan 23
6
Re: [common PATCH] Trim whitespaces from commands read from file
...g BZ:
>
> https://bugzilla.redhat.com/show_bug.cgi?id=1351000
> >---
> >mlcustomize/customize_cmdline.ml | 1 +
> >1 file changed, 1 insertion(+)
> >
> >diff --git a/mlcustomize/customize_cmdline.ml b/mlcustomize/customize_cmdline.ml
> >index c062379879e2..67e85af2ad93 100644
> >--- a/mlcustomize/customize_cmdline.ml
> >+++ b/mlcustomize/customize_cmdline.ml
> >@@ -481,6 +481,7 @@ let rec argspec () =
> > ] in
> > let lines = read_whole_file filename in
> > let lines = String.lines_split lines in
> >+ let line...
2020 Jan 23
1
Re: [common PATCH] Trim whitespaces from commands read from file
...i?id=1351000
>>
>>> >---
>>> >mlcustomize/customize_cmdline.ml | 1 +
>>> >1 file changed, 1 insertion(+)
>>> >
>>> >diff --git a/mlcustomize/customize_cmdline.ml b/mlcustomize/customize_cmdline.ml
>>> >index c062379879e2..67e85af2ad93 100644
>>> >--- a/mlcustomize/customize_cmdline.ml
>>> >+++ b/mlcustomize/customize_cmdline.ml
>>> >@@ -481,6 +481,7 @@ let rec argspec () =
>>> > ] in
>>> > let lines = read_whole_file filename in
>>> > let lines = St...
2020 Jan 23
0
Re: [common PATCH] Trim whitespaces from commands read from file
...ion this is trying to fix the following BZ:
https://bugzilla.redhat.com/show_bug.cgi?id=1351000
>---
> mlcustomize/customize_cmdline.ml | 1 +
> 1 file changed, 1 insertion(+)
>
>diff --git a/mlcustomize/customize_cmdline.ml b/mlcustomize/customize_cmdline.ml
>index c062379879e2..67e85af2ad93 100644
>--- a/mlcustomize/customize_cmdline.ml
>+++ b/mlcustomize/customize_cmdline.ml
>@@ -481,6 +481,7 @@ let rec argspec () =
> ] in
> let lines = read_whole_file filename in
> let lines = String.lines_split lines in
>+ let lines = List.map String.trim lines i...
2020 Jan 23
0
Re: [common PATCH] Trim whitespaces from commands read from file
...zilla.redhat.com/show_bug.cgi?id=1351000
>
>> >---
>> >mlcustomize/customize_cmdline.ml | 1 +
>> >1 file changed, 1 insertion(+)
>> >
>> >diff --git a/mlcustomize/customize_cmdline.ml b/mlcustomize/customize_cmdline.ml
>> >index c062379879e2..67e85af2ad93 100644
>> >--- a/mlcustomize/customize_cmdline.ml
>> >+++ b/mlcustomize/customize_cmdline.ml
>> >@@ -481,6 +481,7 @@ let rec argspec () =
>> > ] in
>> > let lines = read_whole_file filename in
>> > let lines = String.lines_split lines i...
2020 Jan 29
0
Re: [common PATCH] Trim whitespaces from commands read from file
...zilla.redhat.com/show_bug.cgi?id=1351000
>
>> >---
>> >mlcustomize/customize_cmdline.ml | 1 +
>> >1 file changed, 1 insertion(+)
>> >
>> >diff --git a/mlcustomize/customize_cmdline.ml b/mlcustomize/customize_cmdline.ml
>> >index c062379879e2..67e85af2ad93 100644
>> >--- a/mlcustomize/customize_cmdline.ml
>> >+++ b/mlcustomize/customize_cmdline.ml
>> >@@ -481,6 +481,7 @@ let rec argspec () =
>> > ] in
>> > let lines = read_whole_file filename in
>> > let lines = String.lines_split lines i...