Added install script

jeppefrandsen · jeppefrandsen · commit 918fa5cb59b1 · 2024-05-29T06:18:03.000Z
diff --git a/cpplint-webkit b/cpplint-webkit
@@ -1,4 +1,4 @@
-#!/bin/bash -e
+#!/bin/bash
 
 # Remove all cpplint args and use CPPLINT_WEBKIT_ARGS instead
 FILES=${*: -1}
diff --git a/install.sh b/install.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+sudo cp -r cpplint-webkit/WebKit /usr/share
+sudo cp cpplint-webkit/check-webkit-style /usr/bin
+sudo cp cpplint-webkit/cpplint-webkit /usr/bin
+sudo git init /usr/share/WebKit
+sudo git config --global --add safe.directory /usr/share/WebKit

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#!/bin/bash -e`
	`1`	`+#!/bin/bash`
`2`	`2`
`3`	`3`	`# Remove all cpplint args and use CPPLINT_WEBKIT_ARGS instead`
`4`	`4`	`FILES=${*: -1}`