{"body":"could be better obvs, but i do:\nmkdir -p out/v0.17.3.2/\nexport WORKDIR=out/v0.17.3.2\nBINS=`docker exec gitrun sh -c \"echo $WORKDIR/*\"`\nfor i in $BINS; do docker cp gitrun:/home/ubuntu/$i out/v0.17.3.2/; done","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/OXW0fM45","modified":1694715365,"id":"OXW0fM45","size":207,"lines":5,"own_paste":false,"theme":"","date":1694715365}