delorie.com/archives/browse.cgi   search  
Mail Archives: cygwin/1998/07/10/10:21:35

From: morche AT sat1 DOT de (Matthias Morche)
Subject: Re: How to get help for a bash command
10 Jul 1998 10:21:35 -0700 :
Message-ID: <35A5C53B.14B3AFC0.cygnus.gnu-win32@sat1.de>
References: <35A4B433 DOT 4BA2 AT cfwb DOT be>
Mime-Version: 1.0
To: gnu-win32 AT cygnus DOT com

CRETEL Dominique schrieb:
> 
> Hi all,
> 
> Does someone know how to get help for a bash command?
> 
> For example:
> 
>     man find <Enter>
> 
> or
> 
>     help du <Enter>

internal Commands of bash - that are commands hardcoded from within bash
- do have a short documentation via help, eg. "help test". Every
command, that is not bash internal should have it's own manual page -
"man bash", "man du"... The manual pages use to bear more information,
so I prefer to use "man bash" even for the internal commands.

> 
> Also, I want to know what is the "set -x" command in a shell script?
....

"set -x" makes the shell write every line that is executed to stderr, so
you can trace the execution of Your script. It is the same as if You
call "sh -x script-name".

> First, is there any body who can tell me where I can find the like-unix
> command "more"?

Try to use less instead. It's eg. on the german gnuwin mirror
ftp://ftp.franken.de/pub/win32/develop/gnuwin32/cygwin32/porters/Hirmke_Michael/less-321-win32-bin.tar.gz
.... And don't forget to read the README :-). Maybe this needs ncurses
too...

Another way is to make a function that emulates the more command:
function more() {
  case "$1" in
  ""|"-") /WINNT/system32/more.com ;;
  *)      /WINNT/system32/more.com < "$@" ;;
  esac
}

-- 
	Matthias Morche (mailto:morche AT sat1 DOT de)
		SAT.1 (http://www.sat1.de)

>>> Linux: the greatest adventure game since the invention of the PC <<<
-
For help on using this list (especially unsubscribing), send a message to
"gnu-win32-request AT cygnus DOT com" with one line of text: "help".

- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019