aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/debian/Vagrantfile (unfollow)
Commit message (Expand)Author
2026-10-04debian: ditch Vagrant, switch to DockerEgor Tensin
2026-09-24debian: modernize apt usageEgor Tensin
2025-12-16debian: error out if required Vagrant plugins are not installedEgor Tensin
2025-12-16debian: update GPG keyEgor Tensin
2023-12-10debian: switch to egor@tensin.nameEgor Tensin
2023-12-01debian/vagrant: fix NFS mountingdebian/v2.4.4-1Egor Tensin
2021-03-12debian: add GitHub workflowEgor Tensin
2021-03-08debian: lint VagrantfileEgor Tensin
2021-03-07debian: set DEB* variables in VagrantfileEgor Tensin
2021-03-08debian: add Vagrantfile for building packagesEgor Tensin