# HG changeset patch
# User alex
# Date 1133100194 0
# Node ID 45477f25175e933fa6ceddba8bce8c8298bf5652
# Parent  97bc66fb29dd04b5cc8c6ef440ff88374bf8e856
some comments and simplification

diff -r 97bc66fb29dd -r 45477f25175e TOOLS/install-divx5.sh
--- a/TOOLS/install-divx5.sh	Sun Nov 27 04:54:47 2005 +0000
+++ b/TOOLS/install-divx5.sh	Sun Nov 27 14:03:14 2005 +0000
@@ -6,7 +6,8 @@
 set -e
 
 site=http://download.divx.com/divx/
-filename=divx4linux501-20020418.tgz
+packagename=divx4linux501-20020418
+filename=$packagename.tgz
 
 if [ `whoami` != root ]; then
     echo "You must be a root to start this script. Login As root first!"
@@ -20,11 +21,11 @@
         cd /var/tmp/mplayer$$
         wget $site/$filename
         tar xzf $filename
-        cd divx4linux-20020418/
+        cd $packagename/
         sh install.sh
         cd ..
         rm -rf $filename
-        rm -rf divx4linux-20020418/
+        rm -rf $packagename/
         echo "Installed Succesfully!"
         rmdir /var/tmp/mplayer$$	
 	;;