diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2021-03-07 23:01:08 +0000 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2021-03-07 23:01:08 +0000 |
| commit | 0e77c4edba7d84ec1e9ca3bae2391c11019b8f94 (patch) | |
| tree | 4e2cfca5d9d7fc2b9c21815004319039fe6863d9 /debian/Vagrantfile | |
| parent | debian: more one-liners in Makefile (diff) | |
| download | linux-status-0e77c4edba7d84ec1e9ca3bae2391c11019b8f94.tar.gz linux-status-0e77c4edba7d84ec1e9ca3bae2391c11019b8f94.zip | |
debian: set DEB* variables in Vagrantfile
Diffstat (limited to 'debian/Vagrantfile')
| -rw-r--r-- | debian/Vagrantfile | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/debian/Vagrantfile b/debian/Vagrantfile index 427be1d..938c8b3 100644 --- a/debian/Vagrantfile +++ b/debian/Vagrantfile @@ -1,8 +1,8 @@ # -*- mode: ruby -*- # vi: set ft=ruby : -GIT_NAME = 'Egor Tensin' -GIT_EMAIL = 'Egor.Tensin@gmail.com' +NAME = 'Egor Tensin' +EMAIL = 'Egor.Tensin@gmail.com' GPG_KEY = '3B3EF1235420917E0DB0723991D679FB92B036CB' UID = Process.euid @@ -21,11 +21,19 @@ Vagrant.configure("2") do |config| # Working with the git repository: config.vm.provision "shell", privileged: false, inline: <<-SHELL - git config --global user.name '#{GIT_NAME}' - git config --global user.email '#{GIT_EMAIL}' + git config --global user.name '#{NAME}' + git config --global user.email '#{EMAIL}' SHELL config.ssh.forward_agent = true + # Set DEB* environment variables: + config.vm.provision "shell", privileged: false, inline: <<-SHELL + tee -a ~/.bashrc <<'EOF' +export DEBFULLNAME='#{NAME}' +export DEBEMAIL='#{EMAIL}' +EOF + SHELL + # gpg-agent forwarding (https://wiki.gnupg.org/AgentForwarding): config.vm.provision "shell", privileged: false, inline: <<-SHELL gpg --keyserver hkp://keyserver.ubuntu.com/ --recv-keys '0x#{GPG_KEY}' |