Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.user > #266951

Re: script/history

From "Gareth Evans" <donotspam@fastmail.fm>
Newsgroups linux.debian.user
Subject Re: script/history
Date 2024-02-04 17:10 +0100
Message-ID <I3Ne9-7Rxx-1@gated-at.bofh.it> (permalink)
References <I3Hip-7Nv9-1@gated-at.bofh.it> <I3KJk-7PXW-11@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


On Sun 04/02/2024 at 13:24, Max Nikulin <manikulin@gmail.com> wrote:
> On 04/02/2024 16:46, Gareth Evans wrote:
>> Re the script command, does anyone know of a way to make commands run during a script session appear in bash history too?
> [...]
>> man script says
>> 
>> "SEE ALSO
>>         csh(1) (for the history mechanism)"
>> 
>> but
>> 
>> $ man csh
>> No manual entry for csh
>
>      echo $SHELL
>
> If you really use BASH then install bash-doc, it contains manual in 
> various formats, including texinfo (info "bash") or read it online
> https://www.gnu.org/software/bash/manual/
> it describes some options related to history handling Actually "man 
> bash" is something rather close, but it does not allow to save links to 
> specific sections.

Hi Max,

Thanks for links and suggestions.

It seemed to me initially (as I should perhaps have stated) that man script was suggesting that csh was a component or depedency (of script), which seemed to be contradicted by it not being installed.  On reflection, possibly, it's just a way of doing things in script.  The reference in man script now seems to imply the latter.  

The fact that script scripts bash on my machine made me not think about the fact that it probably scripts whatever shell it's running from, and was doubtless written with one in mind/as inspiration - csh might make a certain sense in that respect.  

script runs in bash if run from csh run from bash, but I suppose csh in that chain of shells isn't a proper [do I mean login?] shell.  (Got that? :p)

The function of the "a" option in History Substitution in man csh seems different in the bash version.(under "Word Designators" in man bash/gnu online manual)

It'll be interesting to test when I can make sense of it :p

Anyway, my orginal question has been answered.

Thanks all.
Gareth

Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

script/history "Gareth Evans" <donotspam@fastmail.fm> - 2024-02-04 10:50 +0100
  Re: script/history hw <hw@adminart.net> - 2024-02-04 12:20 +0100
  Re: script/history Michael Grant <mgrant@grant.org> - 2024-02-04 12:30 +0100
    Re: script/history "Gareth Evans" <donotspam@fastmail.fm> - 2024-02-04 14:20 +0100
    Re: script/history hw <hw@adminart.net> - 2024-02-04 14:30 +0100
  Re: script/history Greg Wooledge <greg@wooledge.org> - 2024-02-04 14:30 +0100
  Re: script/history Max Nikulin <manikulin@gmail.com> - 2024-02-04 14:30 +0100
    Re: script/history "Gareth Evans" <donotspam@fastmail.fm> - 2024-02-04 17:10 +0100
      Re: script/history Greg Wooledge <greg@wooledge.org> - 2024-02-04 18:40 +0100
        Re: script/history "Gareth Evans" <donotspam@fastmail.fm> - 2024-02-05 01:30 +0100
          Re: script/history Greg Wooledge <greg@wooledge.org> - 2024-02-05 01:50 +0100
            Re: script/history "Gareth Evans" <donotspam@fastmail.fm> - 2024-02-05 02:30 +0100
      Re: script/history David Wright <deblis@lionunicorn.co.uk> - 2024-02-04 20:50 +0100
        Re: script/history Greg Wooledge <greg@wooledge.org> - 2024-02-04 21:40 +0100
        Re: script/history "Gareth Evans" <donotspam@fastmail.fm> - 2024-02-05 01:40 +0100
  Re: script/history Will Mengarini <seldon@eskimo.com> - 2024-02-05 02:20 +0100

csiph-web