]> git.plutz.net Git - serve0/blob - pages/playctl.sh
show time in progress bar
[serve0] / pages / playctl.sh
1 #!/bin/zsh
2
3 # Copyright 2014 2016 Paul Hänsch
4 #
5 # This file is part of Serve0.
6
7 # Serve0 is free software: you can redistribute it and/or modify
8 # it under the terms of the GNU Affero General Public License as published by
9 # the Free Software Foundation, either version 3 of the License, or
10 # (at your option) any later version.
11
12 # Serve0 is distributed in the hope that it will be useful,
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 # GNU Affero General Public License for more details.
16
17 # You should have received a copy of the GNU Affero General Public License
18 # along with Serve0.  If not, see <http://www.gnu.org/licenses/>. 
19
20 . $_EXEC/pages/common.sh
21
22 info="${_GET[i]}"
23 location="$(invalidate "${_GET[l]}" '(.*/)?\.\.(/.*)?|' /)"
24 directory="${location%/*}"
25 statusfile="$_DATA/mplayer.status"
26
27 TITLE="$info"
28
29 if [ -n "$info" ]; then
30   video="${_DATA}/videos/$info"
31   meta="${_DATA}/meta/$info.meta"
32   tags="$(sed -n '2p' "$meta")"
33   description="$(sed -n '3,$p' "$meta")"
34   head -n1 "$meta" |read length width height x
35 else
36   video="${treeroot%/}/${location#/}"
37   meta=''; tags=''; length=0; width=0; height=0;
38   description=0
39 fi
40
41 volume=$(validate "$(cat "$_DATA/mplayer.volume")" '[1-9]?[0-9]|100' 20)
42
43 debug VIDEO: $video
44
45 progress(){
46   tail --pid=$$ -f "$statusfile" \
47   | tr '\r' '\n' \
48   | sed -urn '1~5s;^.* V: +([0-9]+)(\.[0-9]+) A-V:.*$;\1;p' \
49   | while read m; do
50     printf "%d %d:%02d\n" "$(($m * 100 / $length))" "$(($m / 60))" "$(($m % 60))"
51   done \
52   | while read n; do
53     [ "$n" != "$previous" ] && printf "%s\n" "$n"
54     previous="$n"
55   done
56 }