diff options
author | Wynn Wolf Arbor | 2020-06-04 11:38:00 +0200 |
---|---|---|
committer | Wynn Wolf Arbor | 2020-06-04 11:38:00 +0200 |
commit | a79316179389b22525b58e38f4618bf9fa0ea525 (patch) | |
tree | 6e6364bb84f3098c08d5dea197e304aabd11f48f /.gitignore | |
parent | daae3d6eb38b970e6e7330cf86ebf7fa8a78eb00 (diff) | |
download | skein-a79316179389b22525b58e38f4618bf9fa0ea525.tar.gz |
skein-infra: Simplify logging of mount actions
Both bind_* functions remove the SKEIN_CGIT_ROOT prefix from its log
messages in an effort to remove redundant information. With commit
efdbb04 ("skein-infra: Rename instances/ to home/") however, it is no
longer clear from the path alone that a path under SKEIN_CGIT_ROOT is
being operated upon. Use the full path in the log message to resolve
this.
The logging aliases ladd() and ldel() are only used in the respective
bind_mount() and bind_umount() functions and we don't expect this to
change any time soon. Rename log() to log_mount() and call the latter
directly from within both bind_* functions to improve clarity.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions