#!/bin/bash

# Runs a command, taking input from the concatenation of the given files

# Usage: self file... -- command args...

files=()

while test "$#" -ge 0; do

    if test "$1" = --; then

        shift

        break

    fi

    files=("${files[@]}" "$1")

    shift

done

cat "${files[@]}"|"$@"