20 The Shell and Remote Shell Tools

20.1 Introduction

20.2 The Shell tool

20.3 Command history in the shell

20.4 Configuring the shell to run

20.5 The remote shell tool