Displaying 20 results from an estimated 119 matches for "index_parser".
2015 Jul 28
0
[PATCH 06/10] builder: split Index_parser.index in an own module
Move the index and entry definitions in an own Index module, together
with the (previously internal to Index_parser) print_entry debugging
function.
---
builder/Makefile.am | 2 +
builder/builder.ml | 36 +++++++--------
builder/index.ml | 117 +++++++++++++++++++++++++++++++++++++++++++++++
builder/index.mli | 41 +++++++++++++++++
builder/index_parser.ml | 96 +-----------------...
2014 May 14
2
[PATCH 1/2] builder: save the proxy for each entry
Copy the information about the proxy of a source in all the entries of
that source; this way it is possible to use it later when accessing to
the actual image of an entry.
---
builder/index_parser.ml | 2 ++
builder/index_parser.mli | 1 +
2 files changed, 3 insertions(+)
diff --git a/builder/index_parser.ml b/builder/index_parser.ml
index 2040656..40b2116 100644
--- a/builder/index_parser.ml
+++ b/builder/index_parser.ml
@@ -40,6 +40,7 @@ and entry = {
hidden : bool;
sigchecker :...
2014 Jan 22
2
[PATCH] builder: read all the available notes from the index
...otes of each entry to a sorted list
with all the subkeys available (which should represent the translations
to various languages).
The current outputs are the same (i.e. still the untranslated notes), so
this is just internal refactoring/preparation.
---
builder/builder.ml | 4 ++--
builder/index_parser.ml | 19 +++++++++++++++----
builder/index_parser.mli | 2 +-
builder/list_entries.ml | 10 +++++++---
4 files changed, 25 insertions(+), 10 deletions(-)
diff --git a/builder/builder.ml b/builder/builder.ml
index bb0b108..19d1e42 100644
--- a/builder/builder.ml
+++ b/builder/builder.ml
@@ -200,...
2014 May 26
2
[PATCH] builder: support aliases for images (RHBZ#1098718).
---
builder/builder.ml | 12 ++++++++++++
builder/index_parser.ml | 16 ++++++++++++++++
builder/index_parser.mli | 4 ++++
builder/list_entries.ml | 17 +++++++++++++++++
builder/virt-builder.pod | 8 ++++++++
5 files changed, 57 insertions(+)
diff --git a/builder/builder.ml b/builder/builder.ml
index a0ef6d7..c317816 100644
--- a/builder/builder.ml
+++...
2017 Mar 07
0
[PATCH v4 5/9] builder: add Index_parser.write_entry function
...tion to properly write virt-builder source index entries.
Note that this function is very similar to Index.print_entry that is
meant for debugging purposes.
---
.gitignore | 1 +
builder/Makefile.am | 36 +++++++++++++++-
builder/index.mli | 3 ++
builder/index_parser.ml | 52 +++++++++++++++++++++++
builder/index_parser.mli | 6 +++
builder/index_parser_tests.ml | 95 +++++++++++++++++++++++++++++++++++++++++++
6 files changed, 191 insertions(+), 2 deletions(-)
create mode 100644 builder/index_parser_tests.ml
diff --git a/.gitignore b/.gitignore
i...
2015 Jul 28
0
[PATCH 04/10] builder: internally use a list of checksums for indexes
Extend Index_parser.entry to hold a list of checksums to validate, and
validate all of them.
This does change nothing currently, as only sha512 is read, while still
allowing us to fetch more checksums if needed.
---
builder/builder.ml | 6 +++---
builder/checksums.ml | 3 +++
builder/checksums.mli |...
2014 Oct 31
0
[PATCH] builder: pass Sources.source objects directly
...of passing the (uri, key, proxy) tuple around, pass the whole
Sources.source record; this requires creating proper Sources.source also
for uri+fingerprint passed via command line.
No functional changes.
---
builder/Makefile.am | 2 +-
builder/builder.ml | 17 +++++++++--------
builder/index_parser.ml | 14 +++++++-------
builder/index_parser.mli | 2 +-
builder/list_entries.ml | 12 ++++++------
builder/list_entries.mli | 2 +-
6 files changed, 25 insertions(+), 24 deletions(-)
diff --git a/builder/Makefile.am b/builder/Makefile.am
index 5702d75..414279f 100644
--- a/builder/Makefile.am...
2014 Feb 21
2
[PATCH] builder: add an arch field to sources read from indexes
...om it are marked that
way; images in all the other indexes (user-provided ones) are not known
to us, so assume they are using the same architecture as virt-builder,
hence the special "@same".
---
builder/builder.ml | 5 +++--
builder/cmdline.ml | 16 +++++++++-------
builder/index_parser.ml | 6 +++++-
builder/index_parser.mli | 3 ++-
4 files changed, 19 insertions(+), 11 deletions(-)
diff --git a/builder/builder.ml b/builder/builder.ml
index 80ccef7..d6d7570 100644
--- a/builder/builder.ml
+++ b/builder/builder.ml
@@ -42,7 +42,7 @@ let main () =
edit, firstboot, run, for...
2017 Sep 12
0
[PATCH v8 3/7] builder: add a template parameter to get_index
get_index now gets a new template parameter. Setting it to true will
make the index parsing less picky about missing important data. This
can be used to parse a partial index file.
---
builder/builder.ml | 2 +-
builder/index_parser.ml | 26 ++++++++++++++++++--------
builder/index_parser.mli | 4 +++-
3 files changed, 22 insertions(+), 10 deletions(-)
diff --git a/builder/builder.ml b/builder/builder.ml
index 3c1f04c77..0bb145466 100644
--- a/builder/builder.ml
+++ b/builder/builder.ml
@@ -208,7 +208,7 @@ let main () =...
2017 Sep 18
0
[PATCH v9 3/7] builder: add a template parameter to get_index
get_index now gets a new template parameter. Setting it to true will
make the index parsing less picky about missing important data. This
can be used to parse a partial index file.
---
builder/builder.ml | 2 +-
builder/index_parser.ml | 26 ++++++++++++++++++--------
builder/index_parser.mli | 4 +++-
3 files changed, 22 insertions(+), 10 deletions(-)
diff --git a/builder/builder.ml b/builder/builder.ml
index 3c1f04c77..0bb145466 100644
--- a/builder/builder.ml
+++ b/builder/builder.ml
@@ -208,7 +208,7 @@ let main () =...
2015 Jul 28
19
[PATCH 00/10] RFC: builder: first support for Simple Streams metadata
...nclusion.
Thanks,
Pino Toscano (10):
builder: add format=FMT in repository .conf files
builder: create and use a new Checksums module
builder: add SHA256 support in Checksums
builder: internally use a list of checksums for indexes
builder: allow signatures from subkeys
builder: split Index_parser.index in an own module
fix -- add Index
builder: expose Sigchecker.verifying_signatures
builder: add Sigchecker.verify_and_remove_signature
builder: support Simple Streams v1.0 as index metadata
builder/Makefile.am | 17 +++-
builder/builder.ml | 45 +++++----...
2017 Oct 05
0
[PATCH v11 3/6] builder: add a template parameter to get_index
get_index now gets a new template parameter. Setting it to true will
make the index parsing less picky about missing important data. This
can be used to parse a partial index file.
---
builder/builder.ml | 2 +-
builder/index_parser.ml | 26 ++++++++++++++++++--------
builder/index_parser.mli | 5 ++++-
3 files changed, 23 insertions(+), 10 deletions(-)
diff --git a/builder/builder.ml b/builder/builder.ml
index 3d0dbe7a8..a19eb2d7b 100644
--- a/builder/builder.ml
+++ b/builder/builder.ml
@@ -208,7 +208,7 @@ let main () =...
2017 Feb 07
0
[PATCH v2 5/7] builder: add Index.write_entry function
Add a function to properly write virt-builder source index entries.
Note that this function is very similar to Index.print_entry that is
meant for debugging purposes.
---
builder/index.mli | 3 +++
builder/index_parser.ml | 52 ++++++++++++++++++++++++++++++++++++++++++++++++
builder/index_parser.mli | 6 ++++++
3 files changed, 61 insertions(+)
diff --git a/builder/index.mli b/builder/index.mli
index ff5ec4a35..6202d636e 100644
--- a/builder/index.mli
+++ b/builder/index.mli
@@ -39,3 +39,6 @@ and entry = {
}...
2017 Feb 10
0
[PATCH v3 08/10] builder: add Index.write_entry function
Add a function to properly write virt-builder source index entries.
Note that this function is very similar to Index.print_entry that is
meant for debugging purposes.
---
builder/index.mli | 3 +++
builder/index_parser.ml | 52 ++++++++++++++++++++++++++++++++++++++++++++++++
builder/index_parser.mli | 6 ++++++
3 files changed, 61 insertions(+)
diff --git a/builder/index.mli b/builder/index.mli
index ff5ec4a35..6202d636e 100644
--- a/builder/index.mli
+++ b/builder/index.mli
@@ -39,3 +39,6 @@ and entry = {
}...
2014 Feb 24
2
[PATCH] builder: add a mandatory 'arch' key in index files
...rint also this new field.
This introduces an incompatibility with index files created with
virt-builder < 1.26, as they will be rejected until entries will have
the arch= key added (which is ignored by older virt-builder, so adding
it will not create backward-compatibility issues).
---
builder/index_parser.ml | 9 +++++++++
builder/index_parser.mli | 1 +
builder/list_entries.ml | 4 ++++
builder/test-index.in | 7 +++++++
builder/test-virt-builder-list.sh | 14 ++++++++++++++
5 files changed, 35 insertions(+)
diff --git a/builder/index_parser.ml b/builde...
2017 Sep 18
0
[PATCH v9 4/7] builder: add Index.write_entry function
...nction to properly write virt-builder source index entries.
Note that this function is very similar to Index.print_entry that is
meant for debugging purposes.
---
.gitignore | 1 +
builder/Makefile.am | 36 +++++++++++-
builder/index.mli | 3 +
builder/index_parser.ml | 54 ++++++++++++++++++
builder/index_parser.mli | 4 ++
builder/index_parser_tests.ml | 129 ++++++++++++++++++++++++++++++++++++++++++
6 files changed, 225 insertions(+), 2 deletions(-)
create mode 100644 builder/index_parser_tests.ml
diff --git a/.gitignore b/.gitignore
index...
2014 Jan 23
2
Re: [PATCH] builder: read all the available notes from the index
...ch should represent the
> > translations to various languages).
> > The current outputs are the same (i.e. still the untranslated
> > notes), so this is just internal refactoring/preparation.
> > ---
> >
> > builder/builder.ml | 4 ++--
> > builder/index_parser.ml | 19 +++++++++++++++----
> > builder/index_parser.mli | 2 +-
> > builder/list_entries.ml | 10 +++++++---
> > 4 files changed, 25 insertions(+), 10 deletions(-)
> >
> > diff --git a/builder/builder.ml b/builder/builder.ml
> > index bb0b108..19d1e42 10064...
2017 Oct 27
0
[PATCH v11 6/8] builder: add Index.write_entry function
...nction to properly write virt-builder source index entries.
Note that this function is very similar to Index.print_entry that is
meant for debugging purposes.
---
.gitignore | 1 +
builder/Makefile.am | 36 +++++++++++-
builder/index.mli | 3 +
builder/index_parser.ml | 46 +++++++++++++++
builder/index_parser.mli | 4 ++
builder/index_parser_tests.ml | 130 ++++++++++++++++++++++++++++++++++++++++++
6 files changed, 218 insertions(+), 2 deletions(-)
create mode 100644 builder/index_parser_tests.ml
diff --git a/.gitignore b/.gitignore
index 59...
2017 Oct 05
0
[PATCH v11 4/6] builder: add Index.write_entry function
...nction to properly write virt-builder source index entries.
Note that this function is very similar to Index.print_entry that is
meant for debugging purposes.
---
.gitignore | 1 +
builder/Makefile.am | 36 +++++++++++-
builder/index.mli | 3 +
builder/index_parser.ml | 54 ++++++++++++++++++
builder/index_parser.mli | 4 ++
builder/index_parser_tests.ml | 129 ++++++++++++++++++++++++++++++++++++++++++
6 files changed, 225 insertions(+), 2 deletions(-)
create mode 100644 builder/index_parser_tests.ml
diff --git a/.gitignore b/.gitignore
index...
2017 Oct 27
0
[PATCH v11 5/8] builder: add a template parameter to get_index
get_index now gets a new template parameter. Setting it to true will
make the index parsing less picky about missing important data. This
can be used to parse a partial index file.
---
builder/index_parser.ml | 46 ++++++++++++++++++++++++++++++++++++++--------
builder/index_parser.mli | 5 ++++-
2 files changed, 42 insertions(+), 9 deletions(-)
diff --git a/builder/index_parser.ml b/builder/index_parser.ml
index c715ccac7..7f64d0d98 100644
--- a/builder/index_parser.ml
+++ b/builder/index_parser....