Окремі файли .bash_history для різних сеансів konsole.

bash має безліч корисних параметрів і налаштувань. Однак, якщо ви відкриваєте одночасно кілька вкладок konsole, то всі команди записуються в один файл .bash_history. Іноді це дуже незручно. Тому, напевно, і виникала думка про впорядкування історії команд. Ідея не нова і виникає у всесвітній мережі в тій або іншій формі. Проблема в тому, що необхідно визначитися, як їх впорядкувати, за якою ознакою. Серед інших варіантів є пропозиція визначати файл історії за номером відкритого сеансу konsole. Але як визначити при наступному запуску, якому вікну або вкладці який сеанс належить?

Тож, перебравши кілька варіантів, я вибрав наступний, який використовує змінну PROFILEHOME.

Вираз ${PROFILEHOME##*/} виділяє останній елемент рядка змінної PROFILEHOME. Рядок не повинен закінчуватися "/".

Фрагмент коду, який необхідно додати у файл, .bashrc.

###
# встановити назву файлу .bash_history відповідну змінній PROFILEHOME,
# яка має значення, встановлене в налаштуваннях профілю konsole "Початковий каталог"
# 
export PF=${PROFILEHOME##*/}
if [ ".$PF." == ".." ]; then
  export PF=.bash_history
else
  export PF=.bash_history.$PF
fi

# назва файлу історії
export HISTFILE=$HOME/$PF

# кількість рядків у файлі історії
export HISTSIZE=1024
# формат записів у файлі історії
export HISTTIMEFORMAT='%F %T '
###

=-=-=-=-=
Powered by Blogilo

Advertisements

Залишити відповідь

Заповніть поля нижче або авторизуйтесь клікнувши по іконці

Лого WordPress.com

Ви коментуєте, використовуючи свій обліковий запис WordPress.com. Log Out / Змінити )

Twitter picture

Ви коментуєте, використовуючи свій обліковий запис Twitter. Log Out / Змінити )

Facebook photo

Ви коментуєте, використовуючи свій обліковий запис Facebook. Log Out / Змінити )

Google+ photo

Ви коментуєте, використовуючи свій обліковий запис Google+. Log Out / Змінити )

З’єднання з %s

%d блогерам подобається це: