Как установить панель на панель на Ubuntu 17.10

Посмотрите на /etc/bash.bashrc для определения функции command_not_found_handle.

Если вы хотите удалить это поведение, поместите это в свой .bashrc

[[ $(type -t command_not_found_handle) = "function" ]] && 
  unset -f command_not_found_handle

Если вы хотите настроить, вы можете сделать

# see http://stackoverflow.com/questions/1203583/how-do-i-rename-a-bash-function
alias_function() {
  eval "${1}() $(declare -f ${2} | sed 1d)"
}

alias_function orig_command_not_found_handle command_not_found_handle 

command_not_found_handle() {
  command=$1
  shift
  args=( "$@" )

  do your stuff before
  orig_command_not_found_handle "$command" "${args[@]}"
  do your stuff after
}
0
задан 20 October 2017 в 10:27

2 ответа

Самый простой способ установить и активировать Dash to Panel - с extensions.gnome.org. Откройте Firefox или Chrome и перейдите на страницу Dash to Panel. Нажмите на кнопку переключения в правом верхнем углу, чтобы включить ее.

Dash to homepage на главной странице

ПРИМЕЧАНИЕ. Когда вы посещаете extensions.gnome.org в первый раз он должен попросить вас установить одно дополнение / расширение браузера. Вам нужно будет установить это расширение, чтобы отобразить эту кнопку переключения.

0
ответ дан 18 July 2018 в 05:00

Самый простой способ установить и активировать Dash to Panel - с extensions.gnome.org. Откройте Firefox или Chrome и перейдите на страницу Dash to Panel. Нажмите на кнопку переключения в правом верхнем углу, чтобы включить ее.

Dash to homepage на главной странице

ПРИМЕЧАНИЕ. Когда вы посещаете extensions.gnome.org в первый раз он должен попросить вас установить одно дополнение / расширение браузера. Вам нужно будет установить это расширение, чтобы отобразить эту кнопку переключения.

0
ответ дан 24 July 2018 в 18:13

Другие вопросы по тегам:

Похожие вопросы: