warbo-utilities: 6e0accfd30c47483960e43a14f64db6cfe4c34f5

     1: {
     2:   bash,
     3:   iputils,
     4:   wrap,
     5: }:
     6: 
     7: wrap {
     8:   name = "sysPing";
     9:   paths = [
    10:     bash
    11:     iputils
    12:   ];
    13:   script = ''
    14:     #!${bash}/bin/bash
    15:     set -e
    16:     [[ -e /run/wrappers/bin/ping ]] &&
    17:     exec /run/wrappers/bin/ping "$@"
    18: 
    19:     [[ -e /var/setuid-wrappers/ping ]] &&
    20:       exec /var/setuid-wrappers/ping "$@"
    21: 
    22:     exec ping "$@"
    23:   '';
    24: }