File tree 4 files changed +50
-0
lines changed
4 files changed +50
-0
lines changed Original file line number Diff line number Diff line change
1
+ .DS_Store
2
+ .vscode /
3
+ .idea /
4
+ .git /
5
+ tests /
6
+ fixtures /
7
+ coverage /
8
+ coverage.xml
9
+ images /
Original file line number Diff line number Diff line change @@ -3,6 +3,9 @@ language: php
3
3
php :
4
4
- ' 7.0'
5
5
6
+ services :
7
+ - docker
8
+
6
9
cache :
7
10
directories :
8
11
- vendor
@@ -16,3 +19,9 @@ script:
16
19
17
20
after_success :
18
21
- bash <(curl -s https://codecov.io/bash)
22
+ - |
23
+ if [[ $TRAVIS_TAG == v* ]]; then
24
+ docker build -t felixfbecker/php-language-server:${TRAVIS_TAG:1} .
25
+ docker login -e="$DOCKER_EMAIL" -u="$DOCKER_USERNAME" -p="$DOCKER_PASSWORD"
26
+ docker push felixfbecker/php-language-server:${TRAVIS_TAG:1}
27
+ fi
Original file line number Diff line number Diff line change
1
+
2
+ # Running this container will start a language server that listens for TCP connections on port 2088
3
+ # Every connection will be run in a forked child process
4
+
5
+ # Please note that before building the image, you have to install dependencies with `composer install`
6
+
7
+ FROM php:7-cli
8
+ MAINTAINER Felix Becker <felix.b@outlook.com>
9
+
10
+ RUN apt-get update \
11
+ # Needed for CodeSniffer
12
+ && apt-get install -y libxml2 libxml2-dev \
13
+ && rm -rf /var/lib/apt/lists/*
14
+
15
+ RUN docker-php-ext-configure pcntl --enable-pcntl
16
+ RUN docker-php-ext-install pcntl
17
+ COPY ./php.ini /usr/local/etc/php/conf.d/
18
+
19
+ COPY ./ /srv/phpls
20
+
21
+ WORKDIR /srv/phpls
22
+
23
+ EXPOSE 2088
24
+
25
+ CMD ["--tcp-server=0:2088" ]
26
+
27
+ ENTRYPOINT ["php" , "bin/php-language-server.php" ]
Original file line number Diff line number Diff line change
1
+
2
+ # php.ini for Docker
3
+
4
+ error_reporting = E_ALL
5
+ display_errors = stderr
You can’t perform that action at this time.
0 commit comments