Codebase list emscripten / 0981f70
extend patches 1001 2001 to cover third_party files, and add DEP-3 headers Jonas Smedegaard 3 years ago
2 changed file(s) with 131 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all
0 Description: consistently use python3 in shebang
1 Author: Jonas Smedegaard <dr@jones.dk>
2 Last-Update: 2020-10-13
3 ---
4 This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
05 --- a/emranlib.py
16 +++ b/emranlib.py
27 @@ -1,4 +1,4 @@
149154 # Copyright 2013 The Emscripten Authors. All rights reserved.
150155 # Emscripten is available under two separate licenses, the MIT license and the
151156 # University of Illinois/NCSA Open Source License. Both these licenses can be
157 --- a/third_party/ply/example/classcalc/calc.py
158 +++ b/third_party/ply/example/classcalc/calc.py
159 @@ -1,4 +1,4 @@
160 -#!/usr/bin/env python
161 +#!/usr/bin/env python3
162
163 # -----------------------------------------------------------------------------
164 # calc.py
165 --- a/third_party/ply/example/newclasscalc/calc.py
166 +++ b/third_party/ply/example/newclasscalc/calc.py
167 @@ -1,4 +1,4 @@
168 -#!/usr/bin/env python
169 +#!/usr/bin/env python3
170
171 # -----------------------------------------------------------------------------
172 # calc.py
173 --- a/third_party/websockify/run
174 +++ b/third_party/websockify/run
175 @@ -1,4 +1,4 @@
176 -#!/usr/bin/env python
177 +#!/usr/bin/env python3
178
179 import websockify
180
181 --- a/third_party/websockify/websockify/websocket.py
182 +++ b/third_party/websockify/websockify/websocket.py
183 @@ -1,4 +1,4 @@
184 -#!/usr/bin/env python
185 +#!/usr/bin/env python3
186
187 '''
188 Python WebSocket library with support for "wss://" encryption.
189 --- a/third_party/websockify/websockify/websocketproxy.py
190 +++ b/third_party/websockify/websockify/websocketproxy.py
191 @@ -1,4 +1,4 @@
192 -#!/usr/bin/env python
193 +#!/usr/bin/env python3
194
195 '''
196 A WebSocket to TCP socket proxy with support for "wss://" encryption.
197 --- a/third_party/ply/doc/makedoc.py
198 +++ b/third_party/ply/doc/makedoc.py
199 @@ -1,4 +1,4 @@
200 -#!/usr/local/bin/python
201 +#!/usr/bin/env python3
202
203 ###############################################################################
204 # Takes a chapter as input and adds internal links and numbering to all
205 --- a/third_party/ply/example/yply/yply.py
206 +++ b/third_party/ply/example/yply/yply.py
207 @@ -1,4 +1,4 @@
208 -#!/usr/local/bin/python
209 +#!/usr/bin/env python3
210 # yply.py
211 #
212 # Author: David Beazley (dave@dabeaz.com)
0 Description: explicit call executable in shebang
1 Omit python3: Handled by packaging routines
2 Author: Jonas Smedegaard <dr@jones.dk>
3 Last-Update: 2020-10-13
4 ---
5 This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
06 --- a/tools/source-maps/sourcemapper.js
17 +++ b/tools/source-maps/sourcemapper.js
28 @@ -1,4 +1,4 @@
3743 // Copyright 2013 The Emscripten Authors. All rights reserved.
3844 // Emscripten is available under two separate licenses, the MIT license and the
3945 // University of Illinois/NCSA Open Source License. Both these licenses can be
46 --- a/third_party/uglify-js/bin/uglifyjs
47 +++ b/third_party/uglify-js/bin/uglifyjs
48 @@ -1,4 +1,4 @@
49 -#! /usr/bin/env node
50 +#! /usr/bin/node
51 // -*- js -*-
52
53 global.sys = require(/^v0\.[012]/.test(process.version) ? "sys" : "util");
54 --- a/third_party/uglify-js/test/beautify.js
55 +++ b/third_party/uglify-js/test/beautify.js
56 @@ -1,4 +1,4 @@
57 -#! /usr/bin/env node
58 +#! /usr/bin/node
59
60 global.sys = require("sys");
61 var fs = require("fs");
62 --- a/third_party/uglify-js/test/testparser.js
63 +++ b/third_party/uglify-js/test/testparser.js
64 @@ -1,4 +1,4 @@
65 -#! /usr/bin/env node
66 +#! /usr/bin/node
67
68 var parseJS = require("../lib/parse-js");
69 var sys = require("sys");
70 --- a/third_party/uglify-js/tmp/test.js
71 +++ b/third_party/uglify-js/tmp/test.js
72 @@ -1,4 +1,4 @@
73 -#! /usr/bin/env node
74 +#! /usr/bin/node
75
76 global.sys = require(/^v0\.[012]/.test(process.version) ? "sys" : "util");
77 var fs = require("fs");
78 --- a/third_party/websockify/other/js/websockify.js
79 +++ b/third_party/websockify/other/js/websockify.js
80 @@ -1,4 +1,4 @@
81 -#!/usr/bin/env node
82 +#!/usr/bin/node
83
84 // A WebSocket to TCP socket proxy
85 // Copyright 2012 Joel Martin
86 --- a/third_party/websockify/other/launch.sh
87 +++ b/third_party/websockify/other/launch.sh
88 @@ -1,4 +1,4 @@
89 -#!/usr/bin/env bash
90 +#!/usr/bin/bash
91
92 usage() {
93 if [ "$*" ]; then
94 --- a/third_party/websockify/other/websockify.rb
95 +++ b/third_party/websockify/other/websockify.rb
96 @@ -1,4 +1,4 @@
97 -#!/usr/bin/env ruby
98 +#!/usr/bin/ruby
99
100 # A WebSocket to TCP socket proxy
101 # Copyright 2011 Joel Martin
102 --- a/third_party/websockify/other/wswrap
103 +++ b/third_party/websockify/other/wswrap
104 @@ -1,4 +1,4 @@
105 -#!/usr/bin/env bash
106 +#!/usr/bin/bash
107
108 usage() {
109 echo "Usage: $(basename $0) PORT CMDLINE"