annotate TOOLS/binary_codecs.sh @ 29186:11ffcebc19cf

check for missing libstdc++ this version of the check assumes that we run on a system with apt-get installed and configured. We should probably check that this is actually true. Or more ideally add support for yum for fedora systems.
author siretart
date Thu, 23 Apr 2009 20:59:46 +0000
parents a99dc500088f
children e227d7137dc0
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
29186
11ffcebc19cf check for missing libstdc++
siretart
parents: 29185
diff changeset
162 needlibstd=no
11ffcebc19cf check for missing libstdc++
siretart
parents: 29185
diff changeset
163 test "$dpkgarch" = "powerpc" && needlibstd=yes
11ffcebc19cf check for missing libstdc++
siretart
parents: 29185
diff changeset
164 test "$dpkgarch" = "i386" && needlibstd=yes
11ffcebc19cf check for missing libstdc++
siretart
parents: 29185
diff changeset
165 if test "$needlibstd" = "yes" && ! test -r /usr/lib/libstdc++.so.5 ; then
11ffcebc19cf check for missing libstdc++
siretart
parents: 29185
diff changeset
166 echo "Warning: you need to install libstdc++ 5 libraries"
11ffcebc19cf check for missing libstdc++
siretart
parents: 29185
diff changeset
167 echo -n "Do it now? "
11ffcebc19cf check for missing libstdc++
siretart
parents: 29185
diff changeset
168 read R
11ffcebc19cf check for missing libstdc++
siretart
parents: 29185
diff changeset
169 case $R in
11ffcebc19cf check for missing libstdc++
siretart
parents: 29185
diff changeset
170 y*) apt-get install libstdc++5 ;;
11ffcebc19cf check for missing libstdc++
siretart
parents: 29185
diff changeset
171 *) echo "If you change your mind, use the command"
11ffcebc19cf check for missing libstdc++
siretart
parents: 29185
diff changeset
172 echo " apt-get install libstdc++5" ;;
11ffcebc19cf check for missing libstdc++
siretart
parents: 29185
diff changeset
173 esac
11ffcebc19cf check for missing libstdc++
siretart
parents: 29185
diff changeset
174 fi
27351
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
175 else
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
176 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
177 exit 1
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
178 fi
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 uninstall)
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
182 cd $CODECDIR/
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
183 rm -rf mplayer_binary_codecs
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
184 #FIXME we need a better clean system
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
185 if which symlinks > /dev/null ; then
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
186 symlinks -d .
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
187 else
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
188 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
189 fi
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
190 echo "Uninstalled Succesfully!"
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
191 ;;
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
192
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
193 *)
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
194 echo "Usage: {install|uninstall}"
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
195 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
196 exit 1
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
197 ;;
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
198
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
199 esac
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
200
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
201
4f0fa46528ff Revert previous broken rename of binary-codecs.sh that had random changes.
diego
parents:
diff changeset
202 exit 0