GNU Guile REPL in Nvim

by HiPhish 7 years ago

macOS ◆ xterm-256color ◆ bash 1185 views

Demonstration of the Guile-REPL.nvim plugin for Nvim. It adds the new “Guile” command which spawns a new REPL instance. There are mappings available for sending text form a buffer over to the REPL, allowing us to quickly try out and experiment with code snippets from our script.

If there is already at least one instance running, executing the command will switch back to the youngest REPL. We can add a bang to the command to force the instantiation of a new REPL. We can also pass the same arguments to the command as on the shell.

More by HiPhish

Awk-ward demonstration 00:21

by HiPhish 6 years ago

info.vim demonstation 00:35

by HiPhish 7 years ago

See all

You can download this recording in asciicast v1 format, as a .json file.

Download

Replay in terminal

You can replay the downloaded recording in your terminal using the asciinema play command:

asciinema play 106985.json

If you don't have asciinema CLI installed then see installation instructions.

Use with stand-alone player on your website

Download asciinema player from the releases page (you only need .js and .css file), then use it like this:

<!DOCTYPE html>
<html>
<head>
  <link rel="stylesheet" type="text/css" href="asciinema-player.css" />
</head>
<body>
  <div id="player"></div>
  <script src="asciinema-player.min.js"></script>
  <script>
    AsciinemaPlayer.create(
      '/assets/106985.json',
      document.getElementById('player'),
      { cols: 80, rows: 25 }
    );
  </script>
</body>
</html>

See asciinema player quick-start guide for full usage instructions.

While this site doesn't offer GIF conversion at the moment, you can still do it yourself with the help of asciinema GIF generator utility - agg.

Once you have it installed run the following command to create GIF file:

agg https://asciinema.org/a/106985 106985.gif

Or, if you already downloaded the recording file:

agg 106985.json 106985.gif

Check agg --help for all available options. You can change font family and size, select color theme, adjust speed and more.

See agg manual for full usage instructions.