search for: c062379879e2

Displaying 9 results from an estimated 9 matches for "c062379879e2".

[common PATCH] Trim whitespaces from commands read from file
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 lin...
Re: [PATCH v2] mlcustomize: Trim whitespaces from commands read from file (RHBZ#1351000)
2020 Jan 29
2
Re: [PATCH v2] mlcustomize: Trim whitespaces from commands read from file (RHBZ#1351000)
...in front, so triml is just right. > > 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..abd21a4cbca5 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.ma...
Re: [common PATCH] Trim whitespaces from commands read from file
2020 Jan 23
6
Re: [common PATCH] Trim whitespaces from commands read from file
...x 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 > &gt...
Re: [common PATCH] Trim whitespaces from commands read from file
2020 Jan 23
1
Re: [common PATCH] Trim whitespaces from commands read from file
...om/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 >>> >...
Re: [common PATCH] Trim whitespaces from commands read from file
2020 Jan 23
0
Re: [common PATCH] Trim whitespaces from commands read from file
...forgot to mention 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 Strin...
Re: [common PATCH] Trim whitespaces from commands read from file
2020 Jan 23
0
Re: [common PATCH] Trim whitespaces from commands read from file
...t; 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...
Re: [common PATCH] Trim whitespaces from commands read from file
2020 Jan 29
0
Re: [common PATCH] Trim whitespaces from commands read from file
...t; 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...
[PATCH v2] mlcustomize: Trim whitespaces from commands read from file (RHBZ#1351000)
2020 Jan 29
0
[PATCH v2] mlcustomize: Trim whitespaces from commands read from file (RHBZ#1351000)
...is just trying to get the command name in front, so triml is just right. 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..abd21a4cbca5 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.triml lines in let li...
Re: [PATCH v2] mlcustomize: Trim whitespaces from commands read from file (RHBZ#1351000)
2020 Feb 24
0
Re: [PATCH v2] mlcustomize: Trim whitespaces from commands read from file (RHBZ#1351000)
...gt; > > 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..abd21a4cbca5 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...