Skip to content

Commit db010c8

Browse files
committed
foramting script
1 parent 909cbf4 commit db010c8

File tree

2 files changed

+9
-0
lines changed

2 files changed

+9
-0
lines changed

.ocp-indent

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
normal
2+
with=0
3+
syntax=lwt mll

format.sh

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
#!/bin/bash
2+
3+
echo "# Removing tabs"
4+
find ./ -regex "^\.\(/[a-zA-Z0-9_-.]*\)*.ml" -exec sed -i 's/ //g' {} \;
5+
echo "# Indent files"
6+
find ./ -regex "^\.\(/[a-zA-Z0-9_-.]*\)*.ml[il]?" -exec ocp-indent -i {} \;

0 commit comments

Comments
 (0)