How do I convert a string to an integer in jsonnet?

Question

I have a string that contains a number in a Jsonnet variable. How do I convert it to an integer?

Answer 1

Jsonnet's standard library provides a: std.parseInt(str) function that can parse a signed decimal integer from a given input string. For example:

std.parseInt("123") // yields 123
std.parseInt("-456") // yields -456

Reference: http://jsonnet.org/docs/stdlib.html