Момент использования функции set-title
, вы можете создать команду с этой функциональностью, поэтому удалите функцию set-title ()
, который вы добавляете из ~ / .bashrc
и создаете файл / usr / local / bin / set-title
:
#!/bin/bash
echo -ne "\033]0;$1\007"
Добавьте chmod: chmod + x /usr/local/bin/set-title
.
И после повторного открытия терминала вы можете использовать эту команду: set-title TEST
(Если у вас есть / usr / local / bin /
в вашем $ PATH
).
И затем вы можете использовать его при создании новой вкладки следующим образом:
gnome-terminal --geometry=261x25-0+0 \
--tab -e "bash -c 'set-title TAB1; sleep 10'" \
--tab -e "bash -c 'set-title TAB2; sleep 10'"
Если у вас почему-то нет / usr / local / bin /
в вашем $ PATH
, вы можете попробовать указать абсолютный путь к команде set-title:
--tab -e "bash -c '/usr/local/bin/set-title TAB1; sleep 10'"
Я обнаружил, что подключенные общие ресурсы DAVFS2 непригодны для использования с моим поставщиком хранилища в сочетании с большим количеством/большими файлами. Поэтому я использовал простые команды curl для потоковой передачи файлов на удаленный сервер. Файлы tmp не нужны!
echo "Creating folder: $(curl -sK /etc/davfs2/curl -X MKCOL $backup_url/$tag)"
echo "Uploading zipped files: $($tarcmd | curl -T- -sK /etc/davfs2/curl $backup_url/$tag/$today.tar.xz)"
echo "Uploading zipped SQL dump: $(mysqldump db_$tag | xz | curl -T- -sK /etc/davfs2/curl $backup_url/$tag/$today.sql.xz)"
Мой /etc/davfs2/curl
содержит--user <USER>:<PASS>