17 lines
273 B
Plaintext
17 lines
273 B
Plaintext
[
|
|
{ type: install
|
|
message: <<EOM
|
|
You installed lean: The Theorem Prover.
|
|
|
|
Please note that lean requires /proc to be mounted.
|
|
|
|
The usual way to do this is to add this line to /etc/fstab:
|
|
proc /proc procfs rw 0 0
|
|
|
|
and then run this command as root:
|
|
# mount /proc
|
|
|
|
EOM
|
|
}
|
|
]
|