# Specify a command to be executed # like `/bin/bash -l`, `ls`, or any other commands # the default is bash for Linux # or powershell.exe for Windows command: ../target/debug/examples/timeout # Specify the current working directory path # the default is the current working directory path cwd: null # Export additional ENV variables env: recording: true # Explicitly set the number of columns # or use `auto` to take the current # number of columns of your shell cols: auto # Explicitly set the number of rows # or use `auto` to take the current # number of rows of your shell rows: auto # Amount of times to repeat GIF # If value is -1, play once # If value is 0, loop indefinitely # If value is a positive number, loop n times repeat: 0 # Quality # 1 - 100 quality: 100 # Delay between frames in ms # If the value is `auto` use the actual recording delays frameDelay: auto # Maximum delay between frames in ms # Ignored if the `frameDelay` isn't set to `auto` # Set to `auto` to prevent limiting the max idle time maxIdleTime: 2000 # The surrounding frame box # The `type` can be null, window, floating, or solid` # To hide the title use the value null # Don't forget to add a backgroundColor style with a null as type frameBox: type: solid title: null style: border: 0px black solid boxShadow: none margin: 0px # Add a watermark image to the rendered gif # You need to specify an absolute path for # the image on your machine or a URL, and you can also # add your own CSS styles watermark: imagePath: null style: position: absolute right: 15px bottom: 15px width: 100px opacity: 0.9 # Cursor style can be one of # `block`, `underline`, or `bar` cursorStyle: block # Font family # You can use any font that is installed on your machine # in CSS-like syntax fontFamily: "Hack, Twemoji" # The size of the font fontSize: 12 # The height of lines lineHeight: 1 # The spacing between letters letterSpacing: 0 # Theme theme: background: "transparent" foreground: "#839496" cursor: "#839496" black: "#073642" red: "#DC322F" green: "#859900" yellow: "#B58900" blue: "#268BD2" magenta: "#D3368" cyan: "#2AA198" white: "#EEE8D5" brightBlack: "#002B36" brightRed: "#CB4B16" brightGreen: "#586E75" brightYellow: "#657B83" brightBlue: "#839496" brightMagenta: "#6C71C4" brightCyan: "#93A1A1" brightWhite: "#FDF6E3"