Как конвертировать / редактировать файл .mp4 в .gif в Ubuntu 16.04?

«Я думаю, вы больше не можете использовать win-key для ярлыков, так как это клавиша Unity-Dash.»

False: у меня есть Win + L (lock), Win + D (рабочий стол). Все еще ищу, как получить Win + T для запуска терминала и Win + Alt + T для запуска sudo terminal