{% extends "base.html" %} {% block title %}ripgrep{% if pattern %}: {{ pattern }}{% endif %}{% endblock %} {% block extra_head %} {% endblock %} {% block nav %}

home

{{ super() }} {% endblock %} {% block content %}

ripgrep

Options:

For example *.py or **/templates/**/*.html or datasette/** or !setup.py

{% if globs|length > 1 %}

Additional patterns

{% for glob in globs[1:] %}

{% endfor %} {% endif %}
{% if time_limit_hit %}

Time limit exceeded.

{% endif %} {% for result in results %} {% if result.type == "begin" %}

{{ fix_path(result.data.path.text) }}

{% endif %} {% if result.type in ("match", "context") %} {{ "%-4s" | format(result.data.line_number) }} {{ result.data.lines.text }} {% endif %} {% endfor %} {% endblock %}