shortcut management in linux