From f349c5cd1d518ae266cd4c5fab86d3cd563e6c46 Mon Sep 17 00:00:00 2001
From: jurgenhaas <juergen@paragon-es.de>
Date: Sun, 12 Jan 2020 12:24:53 +0100
Subject: [PATCH] docker/l3d#37 Add phpstan script which runs in its own docker
container
---
bin/phpstan | 4 ++++
bin/volume.php | 10 ++++++----
2 files changed, 10 insertions(+), 4 deletions(-)
create mode 100755 bin/phpstan
diff --git a/bin/phpstan b/bin/phpstan
new file mode 100755
index 0000000..2680707
--- /dev/null
+++ b/bin/phpstan
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+export $(cat .env | xargs)
+docker run --rm -v $(php /usr/local/bin/volume.php /app) phpstan/phpstan "$@"
diff --git a/bin/volume.php b/bin/volume.php
index e2db5ee..aa9e78c 100644
--- a/bin/volume.php
+++ b/bin/volume.php
@@ -16,15 +16,17 @@ function readContainerConfig() {
return [];
}
-function getDockerMountSource() {
+function getDockerMountSource($args) {
$currentDir = getcwd();
+ $destDir = (empty($args[1])) ? $currentDir : $args[1];
+
$container = readContainerConfig();
foreach ($container['Mounts'] as $mount) {
if (strpos($currentDir, $mount['Destination']) === 0) {
- return $mount['Source'] . ':' . $mount['Destination'];
+ return $mount['Source'] . ':' . (empty($args[1]) ? $mount['Destination'] : $destDir);
}
}
- return $currentDir . ':' . $currentDir;
+ return $currentDir . ':' . $destDir;
}
-print(getDockerMountSource());
+print(getDockerMountSource($argv));
--
GitLab