Searched refs:dc_default_sigint_reset (Results 1 – 2 of 2) sorted by relevance
685 dc.sigint_reset) dc_default_sigint_reset="$_set_default_on" ;;734 dc_default_sigint_reset=1768 dc_default_sigint_reset=0804 dc_default_sigint_reset=1840 dc_default_sigint_reset=1910 dc_default_sigint_reset=11984 printf 'dc.sigint_reset=%s\n' "$dc_default_sigint_reset"2159 contents=$(replace "$contents" "DC_DEFAULT_SIGINT_RESET" "$dc_default_sigint_reset")