| 192 | |
| 193 | |
| 194 | function shellBanner(): string { |
| 195 | const bannerLines = [ |
| 196 | "", |
| 197 | "Welcome to the server-side interactive shell!" |
| 198 | ]; |
| 199 | |
| 200 | if (!isEmacs()) { |
| 201 | // Tab completion sadly does not work in Emacs. |
| 202 | bannerLines.push( |
| 203 | "", |
| 204 | "Tab completion is enabled for global variables." |
| 205 | ); |
| 206 | } |
| 207 | |
| 208 | bannerLines.push( |
| 209 | "", |
| 210 | "Type .reload to restart the server and the shell.", |
| 211 | "Type .exit to disconnect from the server and leave the shell.", |
| 212 | "Type .help for additional help.", |
| 213 | EOL |
| 214 | ); |
| 215 | |
| 216 | return chalk.green(bannerLines.join(EOL)); |
| 217 | } |