mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 06:38:07 +02:00
Code Activity

Remove obsolete pdfjs-dist code from the Gulpfile

Browse source 
The Git logic for pushing to the `pdfjs-dist` repository was already
removed in PR #18350, but it was forgotten to also remove the logic to
create a Git repository in the first place. This commit fixes the open
action for that from
https://github.com/mozilla/pdf.js/pull/18358#discussion_r1661367441.

Moreover, we implement the suggestion from
https://github.com/mozilla/pdf.js/pull/18358#discussion_r1661364026
about moving the Git URL to a separate variable for consistency and we
update the homepage URL to the HTTPS scheme to avoid an HTTP -> HTTPS
redirect and enforce TLS-encrypted connections.
This commit is contained in:
Tim van der Meij 2024-07-13 19:27:58 +02:00
parent 07c58aa23a
commit 1c5c5da12e
No known key found for this signature in database
GPG key ID: 8C3FD2925A5F2762
1 changed files with 3 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

22
gulpfile.mjs
View file

@ -77,8 +77,6 @@ const COMMON_WEB_FILES = [
];
const MOZCENTRAL_DIFF_FILE = "mozcentral.diff";
const DIST_REPO_URL = "https://github.com/mozilla/pdfjs-dist";
const CONFIG_FILE = "pdfjs.config";
const config = JSON.parse(fs.readFileSync(CONFIG_FILE).toString());
@ -2173,8 +2171,9 @@ function packageJson() {
const DIST_NAME = "pdfjs-dist";
const DIST_DESCRIPTION = "Generic build of Mozilla's PDF.js library.";
const DIST_KEYWORDS = ["Mozilla", "pdf", "pdf.js"];
const DIST_HOMEPAGE = "http://mozilla.github.io/pdf.js/";
const DIST_HOMEPAGE = "https://mozilla.github.io/pdf.js/";
const DIST_BUGS_URL = "https://github.com/mozilla/pdf.js/issues";
const DIST_GIT_URL = "https://github.com/mozilla/pdf.js.git";
const DIST_LICENSE = "Apache-2.0";
const npmManifest = {
@ -2200,7 +2199,7 @@ function packageJson() {
},
repository: {
type: "git",
url: `git+https://github.com/mozilla/pdf.js.git`,
url: `git+${DIST_GIT_URL}`,
},
engines: {
node: ">=18",
@ -2227,23 +2226,8 @@ gulp.task(
"minified-legacy",
"types",
function createDist() {
console.log();
console.log("### Cloning baseline distribution");
fs.rmSync(DIST_DIR, { recursive: true, force: true });
fs.mkdirSync(DIST_DIR, { recursive: true });
safeSpawnSync("git", ["clone", "--depth", "1", DIST_REPO_URL, DIST_DIR]);
console.log();
console.log("### Overwriting all files");
// Remove all files/folders, except for `.git` because it needs to be a
// valid Git repository for the Git commands in the `dist` target to work.
for (const entry of fs.readdirSync(DIST_DIR)) {
if (entry !== ".git") {
fs.rmSync(DIST_DIR + entry, { recursive: true, force: true });
}
}
return ordered([
packageJson().pipe(gulp.dest(DIST_DIR)),