#!/bin/sh
# $Id: prepend,v 1.1 2019/02/14 02:55:58 grog Exp $
# Add a prefix to specified files, separated by -.
# -s removes specfied old prefix.
prepend ()
{
  if [ "$1" = "-s" ]; then       # replace old start
    shift
    STRIP=$1
    shift
  fi
  PREFIX=$1
  shift
  for i in $*; do
    if [ "$STRIP" != "" ]; then
      new=$PREFIX${i/$STRIP/}
    else
      new=$PREFIX$i
    fi
    mv $i $new
  done
}