Pedro-Juan Ferrer Matoses
  • Tips & Tricks
  • Archives

Getting the name and extension of an archive

base=`basename $1`
dire=`dirname $1`
fichero=${base%%.*}
exten=${base##*.}
more ...

  • Social

    • Twitter
    • LinkedIn
    • Github
  • Links

    • Geomaticblog
    • Geoinquietos VLC
    • Arakua Urban Lab
    • Barrilungos

© 2016 pjfm · Powered by pelican-bootstrap3, Pelican, Bootstrap

Back to top