poke-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Feature request: open file before running poke script


From: Mohammad-Reza Nabipoor
Subject: Re: Feature request: open file before running poke script
Date: Sat, 6 Feb 2021 18:52:25 +0330

Hi.

On Sat, Feb 06, 2021 at 02:39:26PM +0100, Jose E. Marchesi wrote:
> 
> I think changing --script to --source is perfect.
> We could also add a dot-command .source to load command files.
> 


It will be very useful for preparing the environment for developing
new pickles (to load sample data file, and set the correct endian, ...).


> > I think the documentation should be more explicit that these are
> > commands for the `poke` command-line program and are different from
> > Poke sources (e.g., the `-l` option).
> 
> What about this:
> 
> @item -s
> @itemx --source=@var{file}
> Load @var{file} as a command file.  Any number of @samp{-s} options may
> be specified, and they are loaded in the given order. @xref{Command
> Files}.


SGTM.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]