From florian.haftmann at cit.tum.de Wed Jul 2 20:01:48 2025 From: florian.haftmann at cit.tum.de (Florian Haftmann) Date: Wed, 2 Jul 2025 20:01:48 +0200 Subject: *** [SQLITE_BUSY] The database file is locked (database is locked) Message-ID: <02edfe11-e40d-47fb-8479-73f250a5585c@cit.tum.de> I am still using the plain old lxcisa0.informatik.tu-muenchen.de for certain tasks Recently, a problem emerged: $ isabelle build -b Pure *** [SQLITE_BUSY] The database file is locked (database is locked) I am using rev c8d92d4ced73 and a minimal ~/.isabelle/etc/settings: init_components "${ISABELLE_COMPONENTS_BASE:-$USER_HOME/.isabelle/contrib}" "$ISABELLE_HOME/Admin/components/main" What is going wrong here? Maybe NFS makes problems. Thanks for any hint, Florian -------------- next part -------------- A non-text attachment was scrubbed... Name: OpenPGP_0xA707172232CFA4E9.asc Type: application/pgp-keys Size: 22777 bytes Desc: OpenPGP public key URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: OpenPGP_signature.asc Type: application/pgp-signature Size: 228 bytes Desc: OpenPGP digital signature URL: