No shortage of options for Linux users .