Index: generic/predefined.h =================================================================== diff -u -r35c0d6ecb3c83cc6d6b0dfe251ba1a0d9071dc30 -rfc77eaadabdd690239694a6f1cf155a7d16b5cd4 --- generic/predefined.h (.../predefined.h) (revision 35c0d6ecb3c83cc6d6b0dfe251ba1a0d9071dc30) +++ generic/predefined.h (.../predefined.h) (revision fc77eaadabdd690239694a6f1cf155a7d16b5cd4) @@ -78,6 +78,12 @@ "return /tmp}\n" "namespace export tmpdir\n" "if {![info exists ::env(HOME)]} {set ::env(HOME) /root}\n" +"proc ::nsf::parameter::filter {defs pattern} {\n" +"set result {}\n" +"foreach def $defs {\n" +"if {[string match $pattern [::nsf::parameter::get name $def]]} {\n" +"lappend result $def}}\n" +"return $result}\n" "set ::nsf::parametersyntax(::nsf::xotclnext) \"?--noArgs? ?/arg .../?\"\n" "set ::nsf::parametersyntax(::nsf::__unset_unknown_args) \"\"\n" "set ::nsf::parametersyntax(::nsf::exithandler) \"?get?|?set /cmds/?|?unset?\"}\n"