Revision 02af1d2c03d4a60dcccd62c989362fc04fb6fdd0 authored by ah744 on 07 October 2016, 02:35:58 UTC, committed by ah744 on 07 October 2016, 02:35:58 UTC
1 parent 735dd75
basename.sh
#!/bin/bash
# Yes, a basename util does exist, but it is not the same between Ubuntu and Debian
# No, existance is not checked; that is handled by the programs that use this as an input
var=${1##*/}
var=${var%%.scaffold}
echo ${var%%.scaf}
Computing file changes ...
