Note: I am NOT asking this question
I looked for information on how to loop over a range of discontiguous numbers such as 0,1,2,4,5,6,7,9,11 without having to put the numbers in by hand and still use the ranges.
The obvious way would be to do this:
for i in 0 1 2 4 5 6 7 9 11; do echo $i; done