fdc459ec5b
This patch updates the Vagrantfile to Fedora 31, and updates the install process to match the quick start guide.
15 lines
325 B
Plaintext
15 lines
325 B
Plaintext
Welcome to the mgmt hacking VM.
|
|
|
|
Please make sure that your authorized key for GitHub is added to the SSH agent
|
|
on the host machine (see `ssh-add -l`).
|
|
|
|
You can jump into the mgmt repo with the alias `cdmgmt`.
|
|
|
|
To get started, try:
|
|
|
|
$ cdmgmt
|
|
$ make clean build
|
|
$ ./mgmt run --tmp-prefix lang examples/lang/hello0.mcl
|
|
|
|
Enjoy!
|