diff options
| author | Chocobozzz <florian.bigard@gmail.com> | 2017-07-06 18:01:02 +0200 |
|---|---|---|
| committer | Chocobozzz <florian.bigard@gmail.com> | 2017-07-06 18:01:02 +0200 |
| commit | 18c8e945089bff49d2c617c411c8a8f4575989ad (patch) | |
| tree | 320b3fe134e90edae3e8d835a470001208039ae0 /scripts/dev/server.sh | |
| parent | 8b13c289f8db1666a3970882797d42f6cfd6128b (diff) | |
| download | PeerTube-18c8e945089bff49d2c617c411c8a8f4575989ad.tar.gz PeerTube-18c8e945089bff49d2c617c411c8a8f4575989ad.tar.zst PeerTube-18c8e945089bff49d2c617c411c8a8f4575989ad.zip | |
Video search -> case insensitive
Diffstat (limited to 'scripts/dev/server.sh')
| -rwxr-xr-x | scripts/dev/server.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/dev/server.sh b/scripts/dev/server.sh index bff26cb4b..3130f1d87 100755 --- a/scripts/dev/server.sh +++ b/scripts/dev/server.sh | |||
| @@ -1,7 +1,7 @@ | |||
| 1 | #!/usr/bin/env sh | 1 | #!/usr/bin/env sh |
| 2 | 2 | ||
| 3 | if [ ! -d "./client/dist" ]; then | 3 | if [ ! -f "./client/dist/index.html" ]; then |
| 4 | echo "client/dist does not exist, compile client files..." | 4 | echo "client/dist/index.html does not exist, compile client files..." |
| 5 | npm run build:client | 5 | npm run build:client |
| 6 | fi | 6 | fi |
| 7 | 7 | ||