Lines Matching refs:Echo
58 Echo=echo
65 myname=`$Echo "$0" | $Sed -e 's,.*/,,'`
173 -*=*) optarg=`$Echo "$option" | $Sed 's/[-_a-zA-Z0-9]*=//'` ;;
187 …$Echo "$myname: error: option \``$Echo $option | $Sed -e 's/=.*//'`' doesn't allow an argument" 1>…
190 $Echo "$usage1"
191 $Echo "$usage2"
200 …$Echo "$myname: error: option \``$Echo $option | $Sed -e 's/=.*//'`' doesn't allow an argument" 1>…
203 $Echo "$myinternalname"
212 …$Echo "$myname: error: option \``$Echo $option | $Sed -e 's/=.*//'`' doesn't allow an argument" 1>…
223 …$Echo "$myname: error: option \``$Echo $option | $Sed -e 's/=.*//'`' doesn't allow an argument" 1>…
239 … $Echo "$myname: error: option \``$Echo $option | $Sed -e 's/=//g'`' requires an argument" 1>&2
245 -*) $Echo "$myname: error: $option: invalid option; use --help to show usage" 1>&2
252 $Echo "$myname: error: missing argument to --$previous" 1>&2
277 $Echo "$myinternalname: error: \`awk' not available" 1>&2
290 $Echo "$myinternalname: error: cannot access infodir \`$infodir'" 1>&2
379 $Echo "$myinternalname: warning: no existing \`$infodir/$dir_texifile' file found"
393 $Echo "$myinternalname: warning: but existing \`$infodir/$dirfile' file found"
394 $Echo
395 $Echo "$myinternalname: warning: this case cannot be managed now, so you"
396 $Echo "$myinternalname: warning: have to install *GNU Texinfo-3.8* or later"
397 $Echo "$myinternalname: warning: in order to install the INFO-DIR-ENTRY lines"
398 $Echo
400 … $Echo "$myinternalname: mission impossible by reason of missing \`$infodir/$dir_texifile' file"
405 $Echo "$myinternalname: warning: a new \`$dir_texifile' file will be created now"
406 $Echo "$myinternalname: warning: in the \`$infodir' directory, please wait..."
409 $Echo "@setfilename dir" > $dirpath
410 $Echo "@node Top, (dir), (dir), (dir)" >> $dirpath
411 $Echo "@center" >> $dirpath
412 $Echo "Welcome to the FSF's Info Browser =8^.@*" >> $dirpath
413 $Echo "@center" >> $dirpath
414 $Echo "Select one of the following basic documentations:" >> $dirpath
415 $Echo "@menu" >> $dirpath
416 $Echo "My favourite tools:" >> $dirpath
417 $Echo "@end menu" >> $dirpath
418 $Echo "@bye" >> $dirpath
421 $Echo
422 $Echo "$myinternalname: \`$dirpath' successfully created"
423 $Echo
424 $Echo "$myinternalname: let's see if \`$dirpath'"
425 $Echo "$myinternalname: can be extended by some INFO-DIR-ENTRY lines"
426 $Echo
427 $Echo "$myinternalname: please wait..."
428 $Echo
433 $Echo "$myinternalname: error: \`$dirpath' file not writeable" 1>&2
438 $Echo "$myinternalname: let's see if \`$dirpath'"
439 $Echo "$myinternalname: can be extended by some INFO-DIR-ENTRY lines"
440 $Echo
441 $Echo "$myinternalname: please wait..."
442 $Echo
465 $Echo "$myinternalname: working on \`$file' ..."
470 infofile_gzipped_2=`$Echo "$file" | \
476 infofile_gzipped_1=`$Echo "$file" | \
482 infofile_compressed=`$Echo "$file" | \
504 $Echo "$cmd" | \
557 …$Echo "$myinternalname: warning: can't operate on \`$file' by reason of missing compressor program"
562 $Echo "$myinternalname: warning: \`$file' file not found"
564 $Echo "$myinternalname: warning: \`$file' file not readable"
579 $Echo
580 $Echo "$myinternalname: some INFO-DIR-ENTRY lines detected..."
581 $Echo "$myinternalname: here they are:"
583 $Echo
597 $Echo
598 $Echo "$myinternalname: no INFO-DIR-ENTRY lines detected,"
599 $Echo "$myinternalname: so modification of \`$dirpath' unnecessary..."
602 $Echo "$myinternalname: error: no files specified" 1>&2
609 $Echo "$myinternalname: nothing to do... bye bye"
732 … $Echo "$myinternalname: warning: cannot create \`$dirfile' by reason of missing makeinfo program"
749 $Echo
751 $Echo "$myinternalname: all modifications successfully done"
763 $Echo
765 $Echo "$myinternalname: mission impossible by reason of missing compressor program"
769 $Echo "$error1" 1>&2
770 $Echo "$error2" 1>&2