Don't know, this is just bash syntax.. maybe I can put the link that I just attached as a comment?