diff options
| author | Egor Tensin <egor@tensin.name> | 2026-10-04 21:17:07 +0500 |
|---|---|---|
| committer | Egor Tensin <egor@tensin.name> | 2026-10-04 21:17:11 +0500 |
| commit | b48d85f7f5e66d9ee755fefd04d843eab83702e4 (patch) | |
| tree | 07dbaf17facbea71e435e0684bc8cff1df0f99f8 | |
| parent | aur: 2.4.12-1 (diff) | |
| download | linux-status-b48d85f7f5e66d9ee755fefd04d843eab83702e4.tar.gz linux-status-b48d85f7f5e66d9ee755fefd04d843eab83702e4.zip | |
aur: ditch Vagrant
I'm tired of this piece of software, fuck it.
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | README.Arch | 3 | ||||
| -rw-r--r-- | Vagrantfile | 32 |
3 files changed, 0 insertions, 37 deletions
@@ -1,5 +1,3 @@ *.tar.gz *.tar.xz *.tar.zst - -.vagrant/ diff --git a/README.Arch b/README.Arch index 9f294bf..dbdc9b5 100644 --- a/README.Arch +++ b/README.Arch @@ -1,9 +1,6 @@ linux-status on AUR =================== -There's a Vagrantfile to make maintenance easier. To start, use `vagrant up`, -then `vagrant ssh`. - There're a bunch of useful one-liners in Makefile. * Edit PKGBUILD. diff --git a/Vagrantfile b/Vagrantfile deleted file mode 100644 index 0cbfc92..0000000 --- a/Vagrantfile +++ /dev/null @@ -1,32 +0,0 @@ -# -*- mode: ruby -*- -# vi: set ft=ruby : - -NAME = 'Egor Tensin' -EMAIL = 'egor@tensin.name' - -Vagrant.configure("2") do |config| - config.vm.box = "archlinux/archlinux" - - config.vm.provider "libvirt" do |v| - v.cpus = 2 - v.memory = 4096 - end - - # Install the required packages: - config.vm.provision "shell", inline: <<-SHELL -#!/usr/bin/env bash -set -o errexit -o nounset -o pipefail -pacman --noconfirm -Syu base-devel git - SHELL - - # Working with the git repository: - config.vm.provision "shell", privileged: false, inline: <<-SHELL -#!/usr/bin/env bash -set -o errexit -o nounset -o pipefail -git config --global user.name '#{NAME}' -git config --global user.email '#{EMAIL}' - SHELL - config.ssh.forward_agent = true - - config.vm.provision :reload -end |