Чтобы wget работал с прокси-сервером, я добавил бы также создать .wgetrc в вашем домашнем каталоге, содержащий:
http_proxy = http://proxy:port/
https_proxy = http://proxy:port/
proxy_user = user
proxy_password = password
use_proxy = on
wait = 15
Для некоторых звуков sillier (которые я иногда люблю использовать для системных событий) вы также можете проверить здесь: /usr/share/gnome-games/sounds
Вы можете загрузить больше системных звуков для Gnome на Gnome-look.org, тоже.
Здесь вы можете найти основную часть системных звуков: /usr/share/sounds/, причем большинство из них находятся в /usr/share/sounds/ubuntu/stereo
/usr/share/sounds
Если вы удалите / переименуете звук, он должен остановиться. Или вы можете заменить его звуком .ogg (.wav тоже работает ... я думаю ...)
Вы также можете попробовать
Звук> Звуковые эффекты
У меня отключена моя с тех пор, как я нахожу звуковые эффекты, раздражающие
Для некоторых звуков sillier (которые я иногда люблю использовать для системных событий) вы также можете проверить здесь: /usr/share/gnome-games/sounds
Вы можете загрузить больше системных звуков для Gnome на Gnome-look.org, тоже.
Здесь вы можете найти основную часть системных звуков: /usr/share/sounds/, причем большинство из них находятся в /usr/share/sounds/ubuntu/stereo
/usr/share/sounds
Если вы удалите / переименуете звук, он должен остановиться. Или вы можете заменить его звуком .ogg (.wav тоже работает ... я думаю ...)
Вы также можете попробовать
Звук> Звуковые эффекты
У меня отключена моя с тех пор, как я нахожу звуковые эффекты, раздражающие
Для некоторых звуков sillier (которые я иногда люблю использовать для системных событий) вы также можете проверить здесь: /usr/share/gnome-games/sounds
Вы можете загрузить больше системных звуков для Gnome на Gnome-look.org, тоже.
Здесь вы можете найти основную часть системных звуков: /usr/share/sounds/, причем большинство из них находятся в /usr/share/sounds/ubuntu/stereo
/usr/share/sounds
Если вы удалите / переименуете звук, он должен остановиться. Или вы можете заменить его звуком .ogg (.wav тоже работает ... я думаю ...)
Вы также можете попробовать
Звук> Звуковые эффекты
У меня отключена моя с тех пор, как я нахожу звуковые эффекты, раздражающие
Для некоторых звуков sillier (которые я иногда люблю использовать для системных событий) вы также можете проверить здесь: / usr / share / gnome-games / sounds
You может загрузить больше системных звуков для Gnome на Gnome-look.org .
Вы можете найти основную часть системных звуков здесь: / usr / share / sounds /
, причем большинство из них находятся в / usr / share / sounds / ubuntu / stereo
/ usr / share / sounds
Если вы удалите / переименуете звук, он должен остановиться. Или вы можете заменить его звуком .ogg (.wav тоже работает ... я думаю ...)
Вы также можете попробовать
Звук> Звуковые эффекты
У меня отключена моя с тех пор, как я нахожу звуковые эффекты, раздражающие
/ usr / share / sounds / gnome / default / warn
было бы хорошим местом для поиска звуков для этой цели.
/ usr / share / sounds / ubuntu
- звуковая тема. Звуковые темы могут быть выбраны в звуковых настройках. «ubuntu» - единственная звуковая тема, установленная по умолчанию. Я бы посоветовал не редактировать файлы в этой папке напрямую. Лучше всего сделать, если бы вы хотели отредактировать звуки в этой папке, было бы скопировать его (возможно, в / usr / share / sounds / ubuntu-modified
) и изменить файл index.theme
sudo cp -R / usr / share / sounds / ubuntu / usr / share / sounds / ubuntu-modified sudo -H gedit / usr / share / sounds / ubuntu -modified / index.theme
Как только это будет сделано, вы можете спокойно редактировать звуки в / usr / share / sounds / ubuntu-modified
.
Для некоторых звуков sillier (которые я иногда люблю использовать для системных событий) вы также можете проверить здесь: / usr / share / gnome-games / sounds
You может загрузить больше системных звуков для Gnome на Gnome-look.org .
/ usr / share / sounds
Если вы удалите / переименуете звук, он должен остановиться. Или вы можете заменить его звуком .ogg (.wav тоже работает ... я думаю ...)
Вы можете найти основную часть системных звуков здесь: / usr / share / sounds /
, причем большинство из них находятся в / usr / share / sounds / ubuntu / stereo
Вы также можете попробовать
Звук> Звуковые эффекты
У меня отключена моя с тех пор, как я нахожу звуковые эффекты, раздражающие
Для некоторых звуков sillier (которые я иногда люблю использовать для системных событий) вы также можете проверить здесь: / usr / share / gnome-games / sounds
You может загрузить больше системных звуков для Gnome на Gnome-look.org .
Вы можете найти основную часть системных звуков здесь: / usr / share / sounds /
, причем большинство из них находятся в / usr / share / sounds / ubuntu / stereo
/ usr / share / sounds
Если вы удалите / переименуете звук, он должен остановиться. Или вы можете заменить его звуком .ogg (.wav тоже работает ... я думаю ...)
Вы также можете попробовать
Звук> Звуковые эффекты
У меня отключена моя с тех пор, как я нахожу звуковые эффекты, раздражающие
/ usr / share / sounds
Если вы удалите / переименуете звук, он должен остановиться. Или вы можете заменить его звуком .ogg (.wav тоже работает ... я думаю ...)
Вы также можете попробовать
Звук> Звуковые эффекты
У меня отключена моя с тех пор, как я нахожу звуковые эффекты, раздражающие
Для некоторых звуков sillier (которые я иногда люблю использовать для системных событий) вы также можете проверить здесь: / usr / share / gnome-games / sounds
You может загрузить больше системных звуков для Gnome на Gnome-look.org .
Вы можете найти основную часть системных звуков здесь: / usr / share / sounds /
, причем большинство из них находятся в / usr / share / sounds / ubuntu / stereo
Вы можете найти основную часть системных звуков здесь: / usr / share / sounds /
, причем большинство из них находятся в / usr / share / sounds / ubuntu / stereo