X-Git-Url: https://piware.de/gitweb/?p=bin.git;a=blobdiff_plain;f=build-devtoolbox;h=7d495be3f7dd38ba042b76e9e16d527a95bbeb14;hp=4eb7714298ae08e0de16a0ac1c417941e8c64dfa;hb=e0e915d01636e7b428d00a92bc04efa52da6261e;hpb=8e80cb60698e0f3a5788328d040fddedc3caca64

diff --git a/build-devtoolbox b/build-devtoolbox
index 4eb7714..7d495be 100755
--- a/build-devtoolbox
+++ b/build-devtoolbox
@@ -32,4 +32,10 @@ sudo dnf install -y make npm fontconfig git valgrind chromium-headless \
     pwgen glibc-langpack-en
 
 sudo dnf clean packages
+
+# unbreak kerberos; https://github.com/debarshiray/toolbox/issues/235
+cat <<EOF | sudo tee /etc/krb5.conf.d/0_file_ccache
+[libdefaults]
+    default_ccache_name = FILE:/tmp/krb5.ccache
+EOF
 '