Skip to content
Snippets Groups Projects
Select Git revision
  • aacc5be00b37f556b7c44152a31c90a8eb2da5a9
  • 2023ss default protected
  • 2022ss
  • 2021ss
  • 2020ss
  • 2019ss
  • 2018ss
  • 2017ss
  • 2016ss
  • 2015ss
  • 2014ss
11 results

input-1.txt

Blame
  • Forked from Peter Gerwinski / bs
    106 commits behind the upstream repository.
    input-1.txt 468 B
    cassini/home/peter/bo/2021ss/bs/20210423> del *wichtig*
    unwichtig-1.txt  unwichtig-3.txt  unwichtig-5.txt  unwichtig-7.txt
    unwichtig-2.txt  unwichtig-4.txt  unwichtig-6.txt
    Press ENTER to delete, ^C to abort.
    cassini/home/peter/bo/2021ss/bs/20210423> which del
    /home/peter/usr/bin/del
    cassini/home/peter/bo/2021ss/bs/20210423> cat $(which del)
    #!/bin/sh
    ls "$@"
    echo -n "Press ENTER to delete, ^C to abort."
    read junk
    rm "$@"
    cassini/home/peter/bo/2021ss/bs/20210423>