Guest User

Cambiar formato de imagen

a guest
Apr 13th, 2018
386
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.90 KB | None | 0 0
  1. #!/bin/bash
  2. select menu in Convertir Salir
  3. do
  4. if [ $menu ]
  5. then
  6. if [ "$menu" = "Convertir" ]
  7. then
  8.     read -p "Escriba la ruta donde se encuentran las imagenes: " ruta_imagen
  9.     if [ -d $ruta_imagen ]
  10.     then
  11.         cd $ruta_imagen
  12.     fi
  13.     echo Elige el formato origen de las imagenes.
  14.     if [ ! -d $ruta_imagen/imagen ]
  15.     then
  16.         mkdir $ruta_imagen/imagen
  17.     fi
  18.     select origen in png jpg pdf jpeg tiff
  19.     do
  20.     echo Has elegido el formato $origen
  21.     if [ $origen ]
  22.     then
  23.         echo Elige el formato de destino de las imagenes.
  24.         select destino in png jpg pdf jpeg tiff
  25.         do
  26.         echo Has elegido el formato $destino
  27.         echo -e "Ejecutando el cambio de formato\n"
  28.         time mogrify -format $destino *.$origen
  29.         mv *.$destino $ruta_imagen/imagen
  30.         break
  31.         done
  32.     fi
  33.     break
  34.     done
  35. echo -e "\nOpciones del menu principal\n1)Convertir\n2)Salir"
  36. fi
  37. if [ "$menu" = "Salir" ]
  38. then
  39.     echo Salimos del menu.
  40.     break
  41. fi
  42. fi
  43. done
Advertisement
Add Comment
Please, Sign In to add comment