I have \"2,5,7-9,12\" string.
\"2,5,7-9,12\"
I want to get [2, 5, 7, 8, 9, 12] list from it.
Is there any built-in function for it in python?
Thanks.
Not that I'm aware of, but you can easily make your own:
,
-