Skip to content
Projects
Groups
Snippets
Help
This project
Loading...
Sign in / Register
Toggle navigation
C
cwe_checker
Overview
Overview
Details
Activity
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
fact-depend
cwe_checker
Commits
b002306f
Commit
b002306f
authored
Apr 16, 2019
by
Thomas Barabosch
Committed by
Enkelmann
Apr 16, 2019
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Ocp indent (#17)
* Added pre-commit hook for ocp-indent * Test for one file
parent
095130c0
Show whitespace changes
Inline
Side-by-side
Showing
4 changed files
with
26 additions
and
0 deletions
+26
-0
ocp-indent.sh
.hooks/ocp-indent.sh
+15
-0
.ocp-indent
.ocp-indent
+3
-0
.pre-commit-config.yaml
.pre-commit-config.yaml
+8
-0
graph_utils.ml
src/utils/graph_utils.ml
+0
-0
No files found.
.hooks/ocp-indent.sh
0 → 100755
View file @
b002306f
#!/bin/bash
pat
=
".*
\.
ml(i|l|y)?$"
if
[[
$1
=
~
$pat
]]
;
then
s1
=
$(
cat
$1
)
s2
=
$(
ocp-indent
$1
)
if
[
"
$s1
"
==
"
$s2
"
]
then
exit
0
else
echo
"
$1
: ocp-indent"
exit
1
fi
fi
exit
0
.ocp-indent
0 → 100644
View file @
b002306f
JaneStreet
match_clause = 4
\ No newline at end of file
.pre-commit-config.yaml
View file @
b002306f
...
...
@@ -35,3 +35,11 @@ repos:
rev
:
v0.1.0
hooks
:
-
id
:
dockerfilelint
-
repo
:
local
hooks
:
-
id
:
ocp-indent
name
:
ocp-indent
language
:
system
verbose
:
true
entry
:
.hooks/ocp-indent.sh
src/utils/graph_utils.ml
View file @
b002306f
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment