Comment by Ray20

And in the Linux community, "run" apparently has a slightly different meaning than what ordinary people are used to.