Pedro-Juan Ferrer Matoses
  • Tips & Tricks
  • Archives

Getting the name and extension of an archive

Date Thu 10 March 2016 Tags bash / filename
base=`basename $1`
dire=`dirname $1`
fichero=${base%%.*}
exten=${base##*.}
  • Social

    • Twitter
    • LinkedIn
    • Github
  • Links

    • Geomaticblog
    • Geoinquietos VLC
    • Arakua Urban Lab
    • Barrilungos

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

Back to top