Is it possible to programatically edit filters with gmailctl?

[RayBB]

I've done a bit of digging around related to jsonnet and can't find any obvious answers. So I thought maybe someone here would have an idea.

I have a filter that is just for newsletters and that's the one I edit the most by adding a new domain:
For example:

{
  or: [
    {from: "amazon.com"},
    {from: "twitter.com"},
    {from: "facebook.com"},
  ],
}

Is there a way I could programmatically add a new domain to the list? The only thing I can figure out is if you keep a very simple config (no fancy loops) then we could just convert the jsonnet file to json and edit the json.

I'd like to make my own go/bash/etc script and have an alias like gmailctladd newsletters github.com but just not sure how to interface with the jsonnet file.

[mbrt]

I think you could keep the two concepts separate. You maintain your lists in a different file and maintain that programmatically. Your config then imports it and can be as complex as necessary. See e.g. https://jsonnet.org/learning/tutorial.html#imports.

Dealing with jsonnet edits is possible only in special cases because it's Turing complete.

WDYT?

[RayBB]

That's that's a nice compromise! If I make something with this I'll let you know :)