Меню Ubuntu 17.10 windows в панели
Возможно, игрок использует время модификации файла. Вы можете использовать скрипт python, как показано ниже, чтобы получить все файлы в папке, а touch - изменить последнее время доступа. Без игрока, я не могу проверить результат причины.
import os
import sys
path = sys.argv[1]
thefiles = os.listdir(path)
thefiles.sort()
for fname in thefiles:
os.utime(os.path.join(path, fname), None)
Этот скрипт должен быть запущен в папке проигрывателя (замените «путь_и_и__и_и_и_и_и_и_и_и_пег» на фактический путь), как это (если вы его сохранили as touch_all.py): python touch_all.py "path_to_the_player_folder"
Я понятия не имею, как сообщить nautilus, как копировать файлы. Другие могут ответить на эту часть вопроса.
2 ответа
Вы можете попробовать расширение оболочки GNOME, которое называется «Глобальное меню приложений Gnome (HUD для Gnome)». Он предоставляет глобальное меню приложений (например, панель меню окна приложения в верхней панели) в глобальном меню Unity.
Расширение оболочки GNOME (источник экрана: главная страница расширения на расширениях .gnome.org)
Подробную информацию вы можете посетить на странице GitHub расширения.
Внимание: производительность может быть не такой гладкой, как глобальное меню Unity. См. Страницу GitHub , если вы хотите правильно деактивировать / удалить расширение.
Текущее состояние и будущее расширения Он будет работать в течение следующих 6 месяцев в меньшей степени, так как я жду выхода Ubuntu 18.04, чтобы принять решение о том, что я буду делать. Если по умолчанию сессия ubuntu 18.04 будет xorg, я продолжу продление на 6 месяцев. Кроме того, если разработчики ubuntu или gnome исправляют или помогают исправить единство-gtk-module в wayland, я продолжу расширение. То, что я не буду делать, продолжает делать улучшения, потому что это не имеет смысла, если не будет работать на Wayland. Также, если разработчики ubuntu захотят реализовать его, я пожертвую его продлению, и я помогу в том, что нужно. - разработчик, 27 октября 2017 года
Вы можете попробовать расширение оболочки GNOME, которое называется «Глобальное меню приложений Gnome (HUD для Gnome)». Он предоставляет глобальное меню приложений (например, панель меню окна приложения в верхней панели) в глобальном меню Unity.
Расширение оболочки GNOME (источник экрана: главная страница расширения на расширениях .gnome.org)
Подробную информацию вы можете посетить на странице GitHub расширения.
Внимание: производительность может быть не такой гладкой, как глобальное меню Unity. См. Страницу GitHub , если вы хотите правильно деактивировать / удалить расширение.
Текущее состояние и будущее расширения Он будет работать в течение следующих 6 месяцев в меньшей степени, так как я жду выхода Ubuntu 18.04, чтобы принять решение о том, что я буду делать. Если по умолчанию сессия ubuntu 18.04 будет xorg, я продолжу продление на 6 месяцев. Кроме того, если разработчики ubuntu или gnome исправляют или помогают исправить единство-gtk-module в wayland, я продолжу расширение. То, что я не буду делать, продолжает делать улучшения, потому что это не имеет смысла, если не будет работать на Wayland. Также, если разработчики ubuntu захотят реализовать его, я пожертвую его продлению, и я помогу в том, что нужно. - разработчик, 27 октября 2017 года
-
1Это было прекращено - github.com/lestcape/Gnome-Global-AppMenu/issues/63 – vishvAs vAsuki 23 October 2017 в 08:51
-
2
-
3Он будет работать в течение следующих 6 месяцев меньше, так как я жду выхода Ubuntu 18.04, чтобы принять решение о том, что я буду делать. Если по умолчанию сессия ubuntu 18.04 будет xorg, я продолжу продление на 6 месяцев. Кроме того, если разработчики ubuntu или gnome исправляют или помогают исправить единство-gtk-module в wayland, я продолжу расширение. То, что я не буду делать, продолжает делать улучшения, потому что это не имеет смысла, если не будет работать на Wayland. Также, если разработчики ubuntu захотят реализовать его, я пожертвую его продлению, и я помогу в том, что нужно. – lestcape 27 October 2017 в 04:41
-
4@pomsky и хорошо, расширение никогда не было готово к запуску на extensions.gnome.org. Я предупредил о несовместимости, и я не выпустил его, другой пользователь сделал. У меня нет контроля над расширением на extensions.gnome.org, поэтому я ничего не могу исправить там, только в github. – lestcape 27 October 2017 в 18:58
-
5@pomsky по вашему запросу: github.com/lestcape/Gnome-Global-AppMenu/commit/… – lestcape 28 October 2017 в 05:35