rerun Verified current stable Not installed? Programming

Rerun / Rerun Specific Commands History Ptghci

Rerun Specific Commands History Ptghci

Rerun specific commands from the command history in ptghci.

$
Terminal
%rerun <3,4-5,p8>

When To Use

When needing to repeat particular actions from history during an active session.

Pro Tip

Grouping commands can optimize rerun efficiency; e.g., specify ranges to execute multiple commands at once.

Anatomy of Output

Understanding the result

Executing commands: 3, 4 - 5, p8 Command Execution

Indicates which commands are being rerun.

Output: Command 3 result Result from Command 3

Direct output from the third command.

Output: Command 4 result Result from Command 4

Direct output from the fourth command.

Power User Variants

Optimized versions

rerun %rerun {3,5}

Rerun specific commands isolated from history.

rerun %rerun --batch {5-10}

Execute a batch of commands within a specified range.

Troubleshooting

Common pitfalls

Error: No commands matched the specified criteria.

Solution: Verify the command numbers and format.

Error: History limit reached; some commands are unavailable.

Solution: Adjust history settings to retain more commands.

Error: Command execution interrupted.

Solution: Check REPL for active processes that may hinder execution.

Command Breakdown

What each part is doing

%rerun
Base Command
The executable that performs this operation. Here it runs Rerun before the shell applies any redirect operators.
<3,4-5,p8>
3,4 5,p8
The value supplied for 3,4 5,p8.

Alternative Approaches

Comparable commands in other tools

Alternative programming tools for the same job.