aboutsummaryrefslogtreecommitdiffstats
path: root/main.js
diff options
context:
space:
mode:
authorTeddy Wing2021-03-21 16:52:29 +0100
committerTeddy Wing2021-03-21 17:45:12 +0100
commitb63d509cc16ccd2950eb9770440882c4e238d41e (patch)
tree8d1e784c05d5d18af4153bd06d7351e9d8aa208e /main.js
parent34bcab5f0aacee38d55d11821073c878ca51e923 (diff)
downloadPeniquitous-b63d509cc16ccd2950eb9770440882c4e238d41e.tar.bz2
Rename `main.js` to `main.js.in`
Since this file has template variables, it's not a real executable JavaScript file. Add `.in` to the end to make it clear it needs to be built with Make.
Diffstat (limited to 'main.js')
-rw-r--r--main.js44
1 files changed, 0 insertions, 44 deletions
diff --git a/main.js b/main.js
deleted file mode 100644
index 1079a75..0000000
--- a/main.js
+++ /dev/null
@@ -1,44 +0,0 @@
-// Copyright (c) 2015, 2021 Teddy Wing
-//
-// This program is free software: you can redistribute it and/or modify
-// it under the terms of the GNU General Public License as published by
-// the Free Software Foundation, either version 3 of the License, or
-// (at your option) any later version.
-//
-// This program is distributed in the hope that it will be useful,
-// but WITHOUT ANY WARRANTY; without even the implied warranty of
-// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-// GNU General Public License for more details.
-//
-// You should have received a copy of the GNU General Public License
-// along with this program. If not, see <https://www.gnu.org/licenses/>.
-
-
-// var key_event = require('./lib/mousetrap/tests/libs/key-event.js');
-// var peniquitous = require('./peniquitous');
-
-function key_event () {
- $KEY_EVENT
-}
-
-function peniquitous () {
- $PENIQUITOUS
-}
-
-(function() {
- [
- key_event,
- peniquitous
- ].forEach(function(script) {
- console.log('peniquitous', script);
- var s = document.createElement('script');
- s.appendChild(
- document.createTextNode('(' + script + ')();')
- );
- // s.src = chrome.extension.getURL(file);
- // s.onload = function() {
- // this.parentNode.removeChild(this);
- // };
- document.documentElement.appendChild(s);
- });
-})();