Du behöver inte kopiera filen till servern. Det du letar efter är STDIN för COPY :
cat records_to_delete.txt | psql $server -c "COPY tmp_widgets FROM STDIN;"
Du behöver inte kopiera filen till servern. Det du letar efter är STDIN för COPY :
cat records_to_delete.txt | psql $server -c "COPY tmp_widgets FROM STDIN;"