Non è necessario copiare il file sul server. Quello che stai cercando è il STDIN per COPY :
cat records_to_delete.txt | psql $server -c "COPY tmp_widgets FROM STDIN;"
Non è necessario copiare il file sul server. Quello che stai cercando è il STDIN per COPY :
cat records_to_delete.txt | psql $server -c "COPY tmp_widgets FROM STDIN;"