You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I was experimenting with one new port and there was a symlink /usr/local/lib/lean/Std present in place where pkg was installing the package's directory.
Here is what pkg printed:
===> Registering installation for lean4-std-4.5.0.r1
Installing lean4-std-4.5.0.r1...
pkg-static: Fail to rename /usr/local/lib/lean/.pkgtemp.Std.LWOrsb0zC50H -> /usr/local/lib/lean/Std:Not a directory
*** Error code 1
The directory /usr/local/lib/lean/.pkgtemp.Std.LWOrsb0zC50H was left.
pkg should clean up temporary files/directories when some failure prevents it from proceeding.
pkg-1.20.9
FreeBSD 14.0
The text was updated successfully, but these errors were encountered:
I was experimenting with one new port and there was a symlink /usr/local/lib/lean/Std present in place where pkg was installing the package's directory.
Here is what pkg printed:
The directory
/usr/local/lib/lean/.pkgtemp.Std.LWOrsb0zC50H
was left.pkg should clean up temporary files/directories when some failure prevents it from proceeding.
pkg-1.20.9
FreeBSD 14.0
The text was updated successfully, but these errors were encountered: