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 | |
parent | 8b13c289f8db1666a3970882797d42f6cfd6128b (diff) | |
download | PeerTube-18c8e945089bff49d2c617c411c8a8f4575989ad.tar.gz PeerTube-18c8e945089bff49d2c617c411c8a8f4575989ad.tar.zst PeerTube-18c8e945089bff49d2c617c411c8a8f4575989ad.zip |
Video search -> case insensitive
Diffstat (limited to 'scripts')
-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 | ||