summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDrew DeVault <sir@cmpwn.com>2018-09-30 12:33:29 -0400
committerDrew DeVault <sir@cmpwn.com>2018-09-30 12:33:29 -0400
commitdddca0aa1da6d43d824d9819d27ba95c547659a9 (patch)
tree2ae83056eb5655bd267a3ba1bb959a9513e4b1c5
parent9f64a0c4b4701fc8326dedd64f486b3b49ee638d (diff)
Add editorconfig support
-rw-r--r--gitsrht/blueprints/repo.py6
-rw-r--r--gitsrht/editorconfig.py235
-rw-r--r--gitsrht/templates/blob.html5
3 files changed, 245 insertions, 1 deletions
diff --git a/gitsrht/blueprints/repo.py b/gitsrht/blueprints/repo.py
index 17990c8..ccfa081 100644
--- a/gitsrht/blueprints/repo.py
+++ b/gitsrht/blueprints/repo.py
@@ -7,6 +7,7 @@ from jinja2 import Markup
from flask import Blueprint, render_template, abort, send_file
from flask_login import current_user
from gitsrht.access import get_repo, has_access, UserAccess
+from gitsrht.editorconfig import EditorConfig
from gitsrht.redis import redis
from gitsrht.git import CachedRepository, commit_time, annotate_tree
from gitsrht.types import User, Repository
@@ -123,6 +124,8 @@ def tree(owner, repo, ref, path):
ref, commit = resolve_ref(git_repo, ref)
tree = commit.tree
+ editorconfig = EditorConfig(git_repo, tree, path)
+
path = path.split("/")
for part in path:
if part == "":
@@ -143,7 +146,8 @@ def tree(owner, repo, ref, path):
return render_template("blob.html", view="tree",
owner=owner, repo=repo, ref=ref, path=path, entry=entry,
blob=blob, data=data, commit=commit,
- highlight_file=_highlight_file)
+ highlight_file=_highlight_file,
+ editorconfig=editorconfig)
tree = git_repo.get(entry.id)
tree = annotate_tree(git_repo, tree, commit)
diff --git a/gitsrht/editorconfig.py b/gitsrht/editorconfig.py
new file mode 100644
index 0000000..8186062
--- /dev/null
+++ b/gitsrht/editorconfig.py
@@ -0,0 +1,235 @@
+from configparser import ConfigParser
+import os.path
+import re
+
+class EditorConfig:
+ def __init__(self, repo, tree, path):
+ self.repo = repo
+ self.tree = tree
+ self._config = self._config_for(path)
+
+ def _config_for(self, path):
+ base = os.path.dirname(path)
+ base = base.split("/")
+ trees = [self.tree]
+ tree = self.tree
+ for directory in base:
+ if not directory in tree:
+ return None
+ entry = tree[directory]
+ if entry.type != 'tree':
+ return None
+ tree = self.repo.get(entry.id)
+ trees += [tree]
+ config = None
+ for tree in trees[::-1]:
+ if ".editorconfig" not in tree:
+ continue
+ entry = tree[".editorconfig"]
+ if entry.type != "blob":
+ continue
+ blob = self.repo.get(entry.id)
+ try:
+ config = ConfigParser()
+ # gross
+ config.read_string("[__root__]\n" + blob.data.decode())
+ break
+ except:
+ config = None
+ if not config:
+ return None
+ for section in config.sections()[::-1][:-1]:
+ if fnmatch(os.path.basename(path), section):
+ return config[section]
+ return None
+
+ def tab_width(self):
+ if self._config == None:
+ return 8
+ return self._config.get("tab_size", self._config.get("indent_size", 8))
+
+# Via https://github.com/editorconfig/editorconfig-core-py/blob/master/editorconfig/fnmatch.py
+# 2-Clause BSD
+
+_cache = {}
+
+LEFT_BRACE = re.compile(
+ r"""
+ (?: ^ | [^\\] ) # Beginning of string or a character besides "\"
+ \{ # "{"
+ """, re.VERBOSE
+)
+
+RIGHT_BRACE = re.compile(
+ r"""
+ (?: ^ | [^\\] ) # Beginning of string or a character besides "\"
+ \} # "}"
+ """, re.VERBOSE
+)
+
+NUMERIC_RANGE = re.compile(
+ r"""
+ ( # Capture a number
+ [+-] ? # Zero or one "+" or "-" characters
+ \d + # One or more digits
+ )
+ \.\. # ".."
+ ( # Capture a number
+ [+-] ? # Zero or one "+" or "-" characters
+ \d + # One or more digits
+ )
+ """, re.VERBOSE
+)
+
+
+def fnmatch(name, pat):
+ """Test whether FILENAME matches PATTERN.
+ Patterns are Unix shell style:
+ - ``*`` matches everything except path separator
+ - ``**`` matches everything
+ - ``?`` matches any single character
+ - ``[seq]`` matches any character in seq
+ - ``[!seq]`` matches any char not in seq
+ - ``{s1,s2,s3}`` matches any of the strings given (separated by commas)
+ An initial period in FILENAME is not special.
+ Both FILENAME and PATTERN are first case-normalized
+ if the operating system requires it.
+ If you don't want this, use fnmatchcase(FILENAME, PATTERN).
+ """
+
+ name = os.path.normpath(name).replace(os.sep, "/")
+ return fnmatchcase(name, pat)
+
+
+def cached_translate(pat):
+ if not pat in _cache:
+ res, num_groups = translate(pat)
+ regex = re.compile(res)
+ _cache[pat] = regex, num_groups
+ return _cache[pat]
+
+
+def fnmatchcase(name, pat):
+ """Test whether FILENAME matches PATTERN, including case.
+ This is a version of fnmatch() which doesn't case-normalize
+ its arguments.
+ """
+
+ regex, num_groups = cached_translate(pat)
+ match = regex.match(name)
+ if not match:
+ return False
+ pattern_matched = True
+ for (num, (min_num, max_num)) in zip(match.groups(), num_groups):
+ if num[0] == '0' or not (min_num <= int(num) <= max_num):
+ pattern_matched = False
+ break
+ return pattern_matched
+
+
+def translate(pat, nested=False):
+ """Translate a shell PATTERN to a regular expression.
+ There is no way to quote meta-characters.
+ """
+
+ index, length = 0, len(pat) # Current index and length of pattern
+ brace_level = 0
+ in_brackets = False
+ result = ''
+ is_escaped = False
+ matching_braces = (len(LEFT_BRACE.findall(pat)) ==
+ len(RIGHT_BRACE.findall(pat)))
+ numeric_groups = []
+ while index < length:
+ current_char = pat[index]
+ index += 1
+ if current_char == '*':
+ pos = index
+ if pos < length and pat[pos] == '*':
+ result += '.*'
+ else:
+ result += '[^/]*'
+ elif current_char == '?':
+ result += '.'
+ elif current_char == '[':
+ if in_brackets:
+ result += '\\['
+ else:
+ pos = index
+ has_slash = False
+ while pos < length and pat[pos] != ']':
+ if pat[pos] == '/' and pat[pos-1] != '\\':
+ has_slash = True
+ break
+ pos += 1
+ if has_slash:
+ result += '\\[' + pat[index:(pos + 1)] + '\\]'
+ index = pos + 2
+ else:
+ if index < length and pat[index] in '!^':
+ index += 1
+ result += '[^'
+ else:
+ result += '['
+ in_brackets = True
+ elif current_char == '-':
+ if in_brackets:
+ result += current_char
+ else:
+ result += '\\' + current_char
+ elif current_char == ']':
+ result += current_char
+ in_brackets = False
+ elif current_char == '{':
+ pos = index
+ has_comma = False
+ while pos < length and (pat[pos] != '}' or is_escaped):
+ if pat[pos] == ',' and not is_escaped:
+ has_comma = True
+ break
+ is_escaped = pat[pos] == '\\' and not is_escaped
+ pos += 1
+ if not has_comma and pos < length:
+ num_range = NUMERIC_RANGE.match(pat[index:pos])
+ if num_range:
+ numeric_groups.append(map(int, num_range.groups()))
+ result += "([+-]?\d+)"
+ else:
+ inner_result, inner_groups = translate(pat[index:pos],
+ nested=True)
+ result += '\\{%s\\}' % (inner_result,)
+ numeric_groups += inner_groups
+ index = pos + 1
+ elif matching_braces:
+ result += '(?:'
+ brace_level += 1
+ else:
+ result += '\\{'
+ elif current_char == ',':
+ if brace_level > 0 and not is_escaped:
+ result += '|'
+ else:
+ result += '\\,'
+ elif current_char == '}':
+ if brace_level > 0 and not is_escaped:
+ result += ')'
+ brace_level -= 1
+ else:
+ result += '\\}'
+ elif current_char == '/':
+ if pat[index:(index + 3)] == "**/":
+ result += "(?:/|/.*/)"
+ index += 3
+ else:
+ result += '/'
+ elif current_char != '\\':
+ result += re.escape(current_char)
+ if current_char == '\\':
+ if is_escaped:
+ result += re.escape(current_char)
+ is_escaped = not is_escaped
+ else:
+ is_escaped = False
+ if not nested:
+ result += '\Z(?ms)'
+ return result, numeric_groups
diff --git a/gitsrht/templates/blob.html b/gitsrht/templates/blob.html
index c9a7aeb..65727fc 100644
--- a/gitsrht/templates/blob.html
+++ b/gitsrht/templates/blob.html
@@ -1,6 +1,11 @@
{% extends "repo.html" %}
{% import "utils.html" as utils %}
{% block content %}
+<style>
+pre {
+ tab-size: {{editorconfig.tab_width()}}
+}
+</style>
<div class="header-extension">
<div class="container-fluid">
<span style="padding-left: 1rem">