Linux: default editor change