From 956c5b71810151df120ea574b83050f67f10740d Mon Sep 17 00:00:00 2001
From: Benjamin Sago <ogham@bsago.me>
Date: Sat, 6 May 2017 20:52:43 +0100
Subject: [PATCH] Rename dexa to just exa

---
 Vagrantfile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index adf4f9d..9b6617c 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -55,10 +55,9 @@ Vagrant.configure(2) do |config|
     # Create "dexa" and "rexa" scripts that run the debug and release
     # compiled versions of exa.
     config.vm.provision :shell, privileged: true, inline: <<-EOF
-        echo -e "#!/bin/sh\necho \"Use 'dexa' for debug exa, or 'rexa' for release exa\"" > /usr/bin/exa
-        echo -e "#!/bin/sh\n/home/#{developer}/target/debug/exa \\$*" > /usr/bin/dexa
+        echo -e "#!/bin/sh\n/home/#{developer}/target/debug/exa \\$*" > /usr/bin/exa
         echo -e "#!/bin/sh\n/home/#{developer}/target/release/exa \\$*" > /usr/bin/rexa
-        chmod +x /usr/bin/{exa,dexa,rexa}
+        chmod +x /usr/bin/{exa,rexa}
     EOF