diff options
| author |  Santiago Vila <sanvila@debian.org> | 2024-04-17 12:31:00 +0200 |
|---|---|---|
| committer | Santiago Vila <sanvila@debian.org> | 2024-04-17 12:41:08 +0200 |
| commit | dd52913436093d4a598c8c088a74cca6c50f2ff4 (patch) | |
| tree | 5b9ebc57e33bfb6ea94e43b87828c2f0ea35aa23 /debian | |
| parent | 9eaf81f05fe79db2dc3085556412264bd30acdc7 (diff) | |
| download | base-files-dd52913436093d4a598c8c088a74cca6c50f2ff4.tar.gz base-files-dd52913436093d4a598c8c088a74cca6c50f2ff4.zip | |
Add /usr/local/libexec. Closes: #994220.
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/postinst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/postinst b/debian/postinst index 0ad4ce3..2ce18e2 100644 --- a/debian/postinst +++ b/debian/postinst @@ -83,6 +83,7 @@ if [ "$1" = "configure" ] && [ "$2" = "" ]; then install_local_dir /usr/local/bin install_local_dir /usr/local/games install_local_dir /usr/local/lib + install_local_dir /usr/local/libexec install_local_dir /usr/local/include install_local_dir /usr/local/sbin install_local_dir /usr/local/src |