annotate TOOLS/binary_codecs.sh @ 29185:a99dc500088f

more cosmetics
author siretart
date Thu, 23 Apr 2009 20:56:59 +0000
parents 5f1e8f1b3c30
children 11ffcebc19cf
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
1 #!/bin/sh
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
2 set -e
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
3
29181
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
4 # avoid insecure tempfile creation
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
5 umask 0022
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
6
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
7 # This script will download binary codecs for MPlayer unto a Debian system.
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
8
29184
5f1e8f1b3c30 whitespace cosmetics
diego
parents: 29182
diff changeset
9 # Author: thuglife, mennucc1
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
10 #
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
11
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
12 CODECDIR=/usr/lib/codecs
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
13 PREFDIR=/var/lib/mplayer/prefs
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
14 MYSITE='http://people.debian.org/~mennucc1/mplayer'
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
15
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
16 dpkgarch=$(dpkg --print-installation-architecture)
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
17
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
18 [ -d $PREFDIR ] || mkdir -v $PREFDIR
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
19 [ -d $CODECDIR ] || mkdir -v $CODECDIR
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
20 cd $CODECDIR
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
21 [ -d mplayer_binary_codecs ] || mkdir -v mplayer_binary_codecs
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
22
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
23
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
24 choosemirror ()
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
25 {
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
26 cd $PREFDIR
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
27
29179
dd89d439c911 Part 1 of syncing binary_codecs.sh with Debian
siretart
parents: 27352
diff changeset
28 #if [ ! -r mirrors ] || find mirrors -mtime +20 ; then
29185
a99dc500088f more cosmetics
siretart
parents: 29184
diff changeset
29 echo "Downloading mirrors list"
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
30 wget -nv -c -N $MYSITE/mirrors || true
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
31 #fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
32 if [ ! -r bestsites ] || [ mirrors -nt bestsites ] || \
29179
dd89d439c911 Part 1 of syncing binary_codecs.sh with Debian
siretart
parents: 27352
diff changeset
33 find bestsites -mtime +20 > /dev/null ; then
29182
ecb3c5f2fdd1 Part 3 of syncing binary_codecs.sh with Debian
siretart
parents: 29181
diff changeset
34 if which netselect > /dev/null ; then
ecb3c5f2fdd1 Part 3 of syncing binary_codecs.sh with Debian
siretart
parents: 29181
diff changeset
35 echo Choosing best mirrors using netselect
ecb3c5f2fdd1 Part 3 of syncing binary_codecs.sh with Debian
siretart
parents: 29181
diff changeset
36 netselect -s 5 $( cat mirrors ) | awk '{print $2}' > bestsites
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
37 elif which fping > /dev/null ; then
29184
5f1e8f1b3c30 whitespace cosmetics
diego
parents: 29182
diff changeset
38 fping -C 1 $( sed 's#.*//##;s#/.*##' mirrors ) 2>&1 | \
29179
dd89d439c911 Part 1 of syncing binary_codecs.sh with Debian
siretart
parents: 27352
diff changeset
39 egrep -v 'bytes.*loss' | sort -n -k3 | \
dd89d439c911 Part 1 of syncing binary_codecs.sh with Debian
siretart
parents: 27352
diff changeset
40 grep -v ': *-' | awk '/:/{print $1}' | head -5 > bestsites
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
41 else
29185
a99dc500088f more cosmetics
siretart
parents: 29184
diff changeset
42 echo "(If you install 'netselect' or 'fping', it will select the best mirror for you"
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
43 echo " you may wish to stop this script and rerun after installation)"
29181
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
44 sleep 3
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
45 head -3 mirrors > bestsites
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
46 fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
47 fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
48 }
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
49
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
50
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
51
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
52 INSTALL () {
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
53 filename="$3"
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
54 dir="$2"
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
55 url="$1"
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
56
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
57 cd $CODECDIR/mplayer_binary_codecs
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
58
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
59 if [ -r $filename ] ; then
29179
dd89d439c911 Part 1 of syncing binary_codecs.sh with Debian
siretart
parents: 27352
diff changeset
60 cp $filename $filename.bak
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
61 fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
62
29179
dd89d439c911 Part 1 of syncing binary_codecs.sh with Debian
siretart
parents: 27352
diff changeset
63 if [ "$url" = @MAINSITE@ ] ; then
dd89d439c911 Part 1 of syncing binary_codecs.sh with Debian
siretart
parents: 27352
diff changeset
64 cat $PREFDIR/bestsites | while read mainsite ; do
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
65 echo Downloading $filename from $mainsite ...
29181
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
66 wget -c -N $mainsite/$dir/$filename || true
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
67 if [ -r "$filename" ] ; then
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
68 UNPACK "$filename"
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
69 return 0
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
70 fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
71 done
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
72 else
29181
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
73 wget -c -N $url/$dir/$filename || true
29179
dd89d439c911 Part 1 of syncing binary_codecs.sh with Debian
siretart
parents: 27352
diff changeset
74 if [ -r "$filename" ] ; then
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
75 UNPACK "$filename"
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
76 return 0
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
77 fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
78 fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
79 }
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
80
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
81
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
82
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
83
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
84 UNPACK ()
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
85 {
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
86 filename="$1"
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
87 if [ ! -r $filename.bak ] || ! cmp $filename.bak $filename ; then
29184
5f1e8f1b3c30 whitespace cosmetics
diego
parents: 29182
diff changeset
88 echo Installing $filename ...
5f1e8f1b3c30 whitespace cosmetics
diego
parents: 29182
diff changeset
89 if [ -r $filename.list ] ; then
5f1e8f1b3c30 whitespace cosmetics
diego
parents: 29182
diff changeset
90 tr '\n' '\000' < $filename.list | xargs -r0 rm || true
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
91 UNLINK $filename.list
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
92 rm $filename.list
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
93 fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
94
29181
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
95 tarfail () { echo FAILED $filename ; rm $filename.list ; exit 1 ; }
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
96
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
97 case "$filename" in
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
98 *.tar.gz)
29181
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
99 tar xvzf $filename > $filename.list || tarfail
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
100 #rm $filename
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
101 ;;
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
102 *.tgz)
29181
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
103 tar xvzf $filename > $filename.list || tarfail
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
104 #rm $filename
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
105 ;;
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
106 *.tar.bz2)
29181
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
107 tar --bzip2 -xvf $filename > $filename.list || tarfail
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
108 #rm $filename
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
109 ;;
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
110 esac
29181
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
111 [ -r $filename.bak ] && rm $filename.bak
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
112 LINK $filename.list
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
113 echo "Installed $filename Succesfully!"
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
114 fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
115 }
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
116
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
117 LINK () {
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
118 cd $CODECDIR/
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
119 cat $CODECDIR/mplayer_binary_codecs/$1 | while read f ; do
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
120 ln -sbf mplayer_binary_codecs/"$f" .
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
121 done
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
122 }
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
123
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
124 UNLINK () {
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
125 ### FIXME
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
126 # cd $CODECDIR
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
127 # cat $CODECDIR/mplayer_binary_codecs/$1 | while f do
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
128 # ln -sbf mplayer_binary_codecs/"$f"
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
129 # done
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
130 if which symlinks > /dev/null ; then
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
131 symlinks -d $CODECDIR
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
132 fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
133 }
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
134
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
135 if [ `whoami` != root ]; then
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
136 echo "You must be 'root' to use this script. Login as root first!"
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
137 exit 1
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
138 fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
139
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
140 case "$1" in
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
141 install)
29184
5f1e8f1b3c30 whitespace cosmetics
diego
parents: 29182
diff changeset
142 if test -x /bin/bzip2 || test -x /usr/bin/bzip2 ; then : ; else
29181
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
143 echo You need to install bzip2
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
144 exit 1
641ccdaad342 Part 2 of syncing binary_codecs.sh with Debian
siretart
parents: 29179
diff changeset
145 fi
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
146 choosemirror
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
147 cd $PREFDIR
29182
ecb3c5f2fdd1 Part 3 of syncing binary_codecs.sh with Debian
siretart
parents: 29181
diff changeset
148 #if [ ! -r codecs_list ] || find codecs_list -mtime +20 ; then
29185
a99dc500088f more cosmetics
siretart
parents: 29184
diff changeset
149 echo "Getting codecs list"
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
150 wget -nv -c -N $MYSITE/codecs_list || true
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
151 #fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
152
29184
5f1e8f1b3c30 whitespace cosmetics
diego
parents: 29182
diff changeset
153 if grep -q "^$dpkgarch" $PREFDIR/codecs_list ] ; then
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
154 egrep -v "^[[:space:]]*(#|$)" $PREFDIR/codecs_list | \
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
155 while read arch url dir file info ; do
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
156 if [ "$dpkgarch" = "$arch" ]; then
29182
ecb3c5f2fdd1 Part 3 of syncing binary_codecs.sh with Debian
siretart
parents: 29181
diff changeset
157 echo Downloading and installing $file $info...
29179
dd89d439c911 Part 1 of syncing binary_codecs.sh with Debian
siretart
parents: 27352
diff changeset
158 INSTALL "$url" "$dir" "$file"
29184
5f1e8f1b3c30 whitespace cosmetics
diego
parents: 29182
diff changeset
159 n=1
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
160 fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
161 done
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
162 else
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
163 echo "Sorry, no codecs for your arch '$dpkgarch'. Sorry dude :("
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
164 exit 1
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
165 fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
166 ;;
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
167
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
168 uninstall)
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
169 cd $CODECDIR/
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
170 rm -rf mplayer_binary_codecs
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
171 #FIXME we need a better clean system
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
172 if which symlinks > /dev/null ; then
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
173 symlinks -d .
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
174 else
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
175 echo "please install the package 'symlinks' and run 'symlinks -d $CODECDIR' "
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
176 fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
177 echo "Uninstalled Succesfully!"
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
178 ;;
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
179
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
180 *)
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
181 echo "Usage: {install|uninstall}"
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
182 echo "This program will install binary codecs for MPlayer."
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
183 exit 1
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
184 ;;
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
185
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
186 esac
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
187
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
188
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
189 exit 0