From cc6a08633690fce44b97f9616ca5faa689d1def5 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Sat, 20 Mar 2021 23:45:32 +0100
Subject: Add user script header

---
 Makefile              | 5 ++++-
 peniquitous.user.js   | 7 +++++++
 userscript-header.txt | 7 +++++++
 3 files changed, 18 insertions(+), 1 deletion(-)
 create mode 100644 userscript-header.txt

diff --git a/Makefile b/Makefile
index 1058ae6..e08944a 100644
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,10 @@ BROWSERIFY := ./node_modules/.bin/browserify
 
 all: peniquitous.user.js
 
-peniquitous.user.js: main.js peniquitous.js
+peniquitous.user.js: peniquitous.js userscript-header.txt
 	$(BROWSERIFY) \
 		--outfile $@ \
 		$<
+
+	cat userscript-header.txt $@ > "$@.tmp"
+	mv "$@.tmp" $@
diff --git a/peniquitous.user.js b/peniquitous.user.js
index 185e5f4..5e59d50 100644
--- a/peniquitous.user.js
+++ b/peniquitous.user.js
@@ -1,3 +1,10 @@
+// ==UserScript==
+// @name Peniquitous
+// @description Ubiquitous Ctrl-P & Ctrl-N
+// @version 0.0.1
+// @namespace com.teddywing
+// ==/UserScript==
+
 (function(){function r(e,n,t){function o(i,f){if(!n[i]){if(!e[i]){var c="function"==typeof require&&require;if(!f&&c)return c(i,!0);if(u)return u(i,!0);var a=new Error("Cannot find module '"+i+"'");throw a.code="MODULE_NOT_FOUND",a}var p=n[i]={exports:{}};e[i][0].call(p.exports,function(r){var n=e[i][1][r];return o(n||r)},p,p.exports,r,e,n,t)}return n[i].exports}for(var u="function"==typeof require&&require,i=0;i<t.length;i++)o(t[i]);return o}return r})()({1:[function(require,module,exports){
 (function() {
     var KeyEvent = function(data, type) {
diff --git a/userscript-header.txt b/userscript-header.txt
new file mode 100644
index 0000000..6ed248a
--- /dev/null
+++ b/userscript-header.txt
@@ -0,0 +1,7 @@
+// ==UserScript==
+// @name Peniquitous
+// @description Ubiquitous Ctrl-P & Ctrl-N
+// @version 0.0.1
+// @namespace com.teddywing
+// ==/UserScript==
+
-- 
cgit v1.2.3