This repository was archived by the owner on Dec 5, 2018. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathdeploy.php
More file actions
75 lines (69 loc) · 1.8 KB
/
deploy.php
File metadata and controls
75 lines (69 loc) · 1.8 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
<?php
/**
* GIT DEPLOYMENT SCRIPT
*
* Used for automatically deploying websites via github or bitbucket, more deets here:
*
* https://gist.github.com/1809044
*/
// See if we should proceed
if((isset($_GET['proceed']) && $_GET['proceed']))
{
$targetDir = '';
// The commands
$commands = array(
$targetDir,
$targetDir . 'echo $PWD',
$targetDir . 'whoami',
$targetDir . 'git pull',
$targetDir . 'git status',
$targetDir . 'git submodule sync',
$targetDir . 'git submodule update',
$targetDir . 'git submodule status',
);
// Run the commands for output
$output = '';
foreach($commands AS $command) {
// Run it
$tmp = shell_exec($command);
// Output
$output .= "<span style=\"color: #6BE234;\">\$</span> <span style=\"color: #729FCF;\">{$command}\n</span>";
$output .= htmlentities(trim($tmp)) . "\n";
}
// Make it pretty for manual user access (and why not?)
?>
<!DOCTYPE HTML>
<html lang="en-US">
<head>
<meta charset="UTF-8">
<title>GIT DEPLOYMENT SCRIPT</title>
</head>
<body style="background-color: #000000; color: #FFFFFF; font-weight: bold; padding: 0 10px;">
<pre>
. ____ . ____________________________
|/ \| | |
[| <span style="color: #FF0000;">♥ ♥</span> |] | Git Deployment Script v0.1 |
|___==___| / © oodavid 2012, Modified by Cory Gehr (2014) |
|____________________________|
<?php echo $output; ?>
</pre>
</body>
</html>
<?php
// Kill script
exit();
}
// Output a 404 if all else fails
?>
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">
<html><head>
<title>404 Not Found</title>
</head><body>
<h1>Not Found</h1>
<p>The requested URL /deploy.php was not found on this server.</p>
<hr>
<address><?php echo $_SERVER['SERVER_SIGNATURE']; ?></address>
</body></html>
<?php
exit();
?>