Bump vagrant to Buster + choose what Grav version to install #68
No reviewers
Labels
No labels
AKKOMA
APPOINTMENTS
BOARD
BOOKMARKS
BUG
CALENDAR
CHAT
CIRCLES
CLOUD
COMMUNICATION
CONTACTS
COSPEND
CRYPTPAD
DASHBOARD
DECK
DESKTOP
EMAIL
FEDIVERSE
FIX
FORMS
FORUM
FR
GER
GIT
HOWTO
IMPROVEMENT
IT
LUFI
MOBILE
MUMBLE
NC APPS
NEW
NOTES
OFFICE
PADS
PASTEBIN
POR
PROPOSAL
ROUNDCUBE
SP
TALK
TASKS
TRANSLATION
TYPO
UI
UPDATE
UPLOAD
USER
UX
WEBSITE
XMPP
No milestone
No project
2 participants
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: Disroot/Howto#68
Loading…
Reference in a new issue
No description provided.
Delete branch "meazdev"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Bump vagrant from Stretch to Buster + choose what Grav version to install instead of installing the git master one + some minors improvments using if statement
running vagrant up with these settings result in the same error we had on the website. It gets stuck on GRUB configuration. same fix should be implemeted here.
thanks @antilopa I've just done it. Should work now.