Skip to content
Snippets Groups Projects
Select Git revision
  • e8ee997faf9412b20f0f6b47ef21b7cd608ed18d
  • master default protected
  • radlaci97-master-patch-74780
  • blint
  • Balazs
  • Tomi
  • Mike
  • Blint-tmp
  • Patrik
  • w14
  • w13
  • w11
  • w10
  • w9
  • w7
  • w5
  • w6
  • w4
  • w3
  • w2
20 results

reuseinput.sh

Blame
  • Forked from insert epic projlab name here / ProjLab
    9 commits behind the upstream repository.
    reuseinput.sh 197 B
    #!/bin/sh
    
    cp inputs.txt /tmp/inputs.txt
    
    (sleep 1; cat /tmp/inputs.txt | awk '{print $0; system("sleep .2");}' | tee -a /proc/self/fd/2; cat) | java -jar classes/artifacts/projlab_jar/projlab.jar