@JdeBP дал очень технические рекомендации. Прочитав много, я нашел простой способ.
Меню→Настройки→Клавиатура→Ярлыки→Пользовательские ярлыки→Добавить пользовательский ярлык
Здесь ссылка:https://www.lifewire.com/how-to-change-the-linux-mint-cinnamon-keyboard-shortcuts-4064754
Вы сможете найти процесс, который все еще использует этот файл, с помощью следующей команды
lsof | grep -i \(deleted\)
эти файлы все еще используются и, следовательно, занимают место на диске. Перезапуск службы или уничтожение процесса, использующего файл, должны освободить место на диске.