Searched refs:this_file (Results 1 – 9 of 9) sorted by relevance
7 static const char this_file[] = __FILE__; in filename() local8 return this_file; in filename()
37 this_file=${0##*/}118 echo "$this_file: doing $0."
48 this_file=${0##*/}159 echo "$this_file: doing $0."
48 this_file=${0##*/}153 echo "$this_file: doing $0."
59 this_file=${0##*/}274 echo "$this_file: doing $0."
130 echo "$this_file: doing $0."
14 'this_file': {95 'this_file': [''],
60 this_file, _ = os.path.splitext(__file__)65 if not filename.startswith(this_file):
34 # To permanently add this autocompletion, add "source this_file"