{% extends "base.html" %} {% block title %}ripgrep{% if pattern %}: {{ pattern }}{% endif %}{% endblock %} {% block extra_head %} {% endblock %} {% block content %}
Time limit exceeded.
{% endif %} {% set ns = namespace(ended=true) %} {% for result in results %} {% if result.type == "begin" %}1 %} gap{% endif %}">{{ "%-4s" | format(result.data.line_number) }}{{ result.data.lines.text }}{% set ns.prev_line = result.data.line_number %}{% endif %} {% if result.type == "end" %}{% set ns.ended = true %}