diff --git a/ble.pp b/ble.pp index ccee4189..1a7283de 100644 --- a/ble.pp +++ b/ble.pp @@ -550,12 +550,12 @@ function ble/base/initialize-runtime-directory { ble/base/initialize-runtime-directory/.tmp && return 0 # fallback - local tmp_dir=$_ble_base/tmp + local tmp_dir=$_ble_base/run if [[ ! -d $tmp_dir ]]; then ble/bin/mkdir -p "$tmp_dir" || return 1 ble/bin/chmod a+rwxt "$tmp_dir" || return 1 fi - ble/base/.create-user-directory _ble_base_run "$tmp_dir/$UID" + ble/base/.create-user-directory _ble_base_run "$tmp_dir/${USER:-$UID}@$HOSTNAME" } if ! ble/base/initialize-runtime-directory; then ble/util/print "ble.sh: failed to initialize \$_ble_base_run." 1>&2 diff --git a/memo/ChangeLog.md b/memo/ChangeLog.md index f913f6fb..c87fd981 100644 --- a/memo/ChangeLog.md +++ b/memo/ChangeLog.md @@ -29,6 +29,8 @@ ## Internal changes and fixes +- main: include hostname in local runtime directory `#D1444` 0000000 + # ble-0.4.0-devel2 diff --git a/note.txt b/note.txt index 9f0cd352..3e98b012 100644 --- a/note.txt +++ b/note.txt @@ -3728,6 +3728,12 @@ bash_tips Done (実装ログ) ------------------------------------------------------------------------------- +2021-01-25 + + * main: nfs の上に _ble_base_run があると問題になるのでは [#D1444] + 取り敢えずローカルに runtime directory を作る時には $HOSTNAME も含める事にした。 + XDG_RUNTIME_DIR 及び /tmp を使う場合には host specific であると期待してその儘にする。 + 2021-01-22 * edit: C-w で kill-ring への追加を実装するという事 (suggested by 3ximus) [#D1443]