Допустим у меня есть несколько каталогов с файламиstamp1.txt and stamp0.txt. Я хочу переопределить cat команду. Мне нужно это, например, для того, чтобы отсеять 'stamp1' файлы от архивирования их содержимого(списков oбъектников) в библиотеку.
Я набросал мелкую фильтрующую прогу (realname) и bash скриптик для переопределения оригинальной cat команды.
function cat() {
local e=""
for s in $@
do
if realname $s; then
e=$e" "$s;
fi
done
command cat $e;
}
Таким образом команда:
cat dir1/stamp1.txt dir2/stamp0.txt
cat dir2/stamp0.txt
ar cruv some_lib.a `cat dir1/stamp1.txt dir2/stamp0.txt`
Как перегрузить cat(или любую другую команду) таким образом чтоб она работала для make, и без правки самого makefile(makefile этот от стороннего софта и я не хочу его патчить, каждый раз когда мне потребуется обновить версию этого самого софта)?
ПС На самом деле фильтрующая прога чуть более сложнее и фильтрует не по именам, это я для простоты пример привел с именами - этот на тот случай, если возникнут вопросы: зачем писать целую программу для такой тривиальной задачи...