From 4048ad36a85adebc543d5328dc9bb4e49f0309c9 Mon Sep 17 00:00:00 2001
From: Martin Hjelmare <marhje52@kth.se>
Date: Thu, 21 Jun 2018 15:06:05 +0200
Subject: [PATCH] Add script to run monkeytype typing on test suite (#14440)

* The monkeytype script takes an optional argument to specify a test
  module or directory to run. Otherwise the whole test suite will run.
* Add monkeytype sqlite db to gitignore.
---
 .gitignore        |  3 +++
 script/monkeytype | 25 +++++++++++++++++++++++++
 2 files changed, 28 insertions(+)
 create mode 100755 script/monkeytype

diff --git a/.gitignore b/.gitignore
index bf49a1b61c1fe..c2b0d964a6225 100644
--- a/.gitignore
+++ b/.gitignore
@@ -107,3 +107,6 @@ desktop.ini
 
 # Secrets
 .lokalise_token
+
+# monkeytype
+monkeytype.sqlite3
diff --git a/script/monkeytype b/script/monkeytype
new file mode 100755
index 0000000000000..dc1894c91edea
--- /dev/null
+++ b/script/monkeytype
@@ -0,0 +1,25 @@
+#!/bin/sh
+# Run monkeytype on test suite or optionally on a test module or directory.
+
+# Stop on errors
+set -e
+
+cd "$(dirname "$0")/.."
+
+command -v pytest >/dev/null 2>&1 || {
+  echo >&2 "This script requires pytest but it's not installed." \
+    "Aborting. Try: pip install pytest"; exit 1; }
+
+command -v monkeytype >/dev/null 2>&1 || {
+  echo >&2 "This script requires monkeytype but it's not installed." \
+    "Aborting. Try: pip install monkeytype"; exit 1; }
+
+if [ $# -eq 0 ]
+  then
+    echo "Run monkeytype on test suite"
+    monkeytype run "`command -v pytest`"
+    exit
+fi
+
+echo "Run monkeytype on tests in $1"
+monkeytype run "`command -v pytest`" "$1"