From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/vagrant/push%2Flocal-exec.html | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 devdocs/vagrant/push%2Flocal-exec.html (limited to 'devdocs/vagrant/push%2Flocal-exec.html') diff --git a/devdocs/vagrant/push%2Flocal-exec.html b/devdocs/vagrant/push%2Flocal-exec.html deleted file mode 100644 index e9df2f6f..00000000 --- a/devdocs/vagrant/push%2Flocal-exec.html +++ /dev/null @@ -1,28 +0,0 @@ -

Vagrant Push

Local Exec Strategy

The Vagrant Push Local Exec strategy allows the user to invoke an arbitrary shell command or script as part of a push.

Warning: The Vagrant Push Local Exec strategy does not perform any validation on the correctness of the shell script.

-

The Vagrant Push Local Exec strategy supports the following configuration options:

Please note - only one of the script and inline options may be specified in a single push definition.

Usage

The Vagrant Push Local Exec strategy is defined in the Vagrantfile using the local-exec key:

Remote path:

config.push.define "local-exec" do |push|
-  push.inline = <<-SCRIPT
-    scp -r . server:/var/www/website
-  SCRIPT
-end
-
-

Local path:

config.push.define "local-exec" do |push|
-  push.inline = <<-SCRIPT
-    cp -r . /var/www/website
-  SCRIPT
-end
-
-

For more complicated scripts, you may store them in a separate file and read them from the Vagrantfile like so:

config.push.define "local-exec" do |push|
-  push.script = "my-script.sh"
-end
-
-

And then invoke the push with Vagrant:

$ vagrant push
-
-

Script Arguments

Refer to Shell Provisioner.

-

- © 2010–2018 Mitchell Hashimoto
Licensed under the MPL 2.0 License.
- https://www.vagrantup.com/docs/push/local-exec.html -

-
-- cgit v1.2.3