{
  "name": "seq",
  "description": "Print sequences of numbers. (Defaults to increments of 1)",
  "options": [
    {
      "names": [
        "-w",
        "--fixed-width"
      ],
      "description": "Equalize the widths of all numbers by padding with zeros as necessary"
    },
    {
      "names": [
        "-s",
        "--separator"
      ],
      "description": "String separator between numbers. Default is newline",
      "takes_arg": true,
      "arg": {
        "name": "string",
        "description": "Separator"
      }
    },
    {
      "names": [
        "-f",
        "--format"
      ],
      "description": "Use a printf(3) style format to print each number",
      "takes_arg": true,
      "arg": {
        "name": "format",
        "description": "Print all numbers using format"
      }
    },
    {
      "names": [
        "-t",
        "--terminator"
      ],
      "description": "Use string to terminate sequence of numbers",
      "takes_arg": true,
      "arg": {
        "name": "string",
        "description": "Terminator"
      }
    }
  ],
  "args": [
    {
      "name": "first",
      "description": "Starting number in sequence"
    },
    {
      "name": "step",
      "description": "Increment interval"
    },
    {
      "name": "last",
      "description": "Last number in sequence"
    }
  ]
}
