From cebd2164685dbae52ebdffe3bccabc111e028190 Mon Sep 17 00:00:00 2001
From: Marco Vermeulen <vermeulen.mp@gmail.com>
Date: Fri, 16 Nov 2012 16:27:48 +0000
Subject: [PATCH] Place filter tokens in script sources.

---
 srv/scripts/gvm         | 2 +-
 srv/scripts/gvm-init.sh | 2 +-
 srv/scripts/install.sh  | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/srv/scripts/gvm b/srv/scripts/gvm
index 7eb2725e..6b90e102 100755
--- a/srv/scripts/gvm
+++ b/srv/scripts/gvm
@@ -1,5 +1,5 @@
 #!/bin/bash
-GVM_VERSION="0.8.2"
+GVM_VERSION="@GVM_VERSION@"
 PLATFORM=$(uname)
 
 #
diff --git a/srv/scripts/gvm-init.sh b/srv/scripts/gvm-init.sh
index e83336a7..af576f6c 100755
--- a/srv/scripts/gvm-init.sh
+++ b/srv/scripts/gvm-init.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-export GVM_SERVICE="http://get.gvmtool.net"
+export GVM_SERVICE="@GVM_SERVICE@"
 
 PATH="$HOME/.gvm/bin:$PATH"
 
diff --git a/srv/scripts/install.sh b/srv/scripts/install.sh
index a28f1a58..217e18fe 100755
--- a/srv/scripts/install.sh
+++ b/srv/scripts/install.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-GVM_SERVICE="http://localhost:8080"
+GVM_SERVICE="@GVM_SERVICE@"
 PLATFORM=$(uname)
 
 echo '                                                                     '