diff options
| author | Rini <rini@rinici.de> | 2023-08-10 00:17:49 +0000 |
|---|---|---|
| committer | Ven <ven@noreply.codeberg.org> | 2023-08-10 00:17:49 +0000 |
| commit | 8b6c8bc0ecedfea82370a253050657e5ca9d48f1 (patch) | |
| tree | ad9d718a7a9fc6099b532705342b30d07c8be55b /patches | |
| parent | 1a62249da6bd75981a75c6c7ce09e946336fc88e (diff) | |
| download | Vencord-8b6c8bc0ecedfea82370a253050657e5ca9d48f1.tar.gz Vencord-8b6c8bc0ecedfea82370a253050657e5ca9d48f1.tar.bz2 Vencord-8b6c8bc0ecedfea82370a253050657e5ca9d48f1.zip | |
chore: transition to shorter license headers (#6)
Transition from the GPL jumpscare to a more concise header:
/*
* Vencord, a Discord client mod
* Copyright (c) 2023 Vendicated and contributors
*
* SPDX-License-Identifier: GPL-3.0
*/
Old files still keep the old headers, while eslint will now autofix the new header
Reviewed-on: https://codeberg.org/Ven/cord/pulls/6
Co-authored-by: Rini <rini@rinici.de>
Co-committed-by: Rini <rini@rinici.de>
Diffstat (limited to 'patches')
| -rw-r--r-- | patches/eslint-plugin-simple-header@1.0.1.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/patches/eslint-plugin-simple-header@1.0.1.patch b/patches/eslint-plugin-simple-header@1.0.1.patch new file mode 100644 index 0000000..bb82fb1 --- /dev/null +++ b/patches/eslint-plugin-simple-header@1.0.1.patch @@ -0,0 +1,13 @@ +diff --git a/src/index.js b/src/index.js +index e8a8ee34fbafe310c75e752d59ba3a56109d67f1..6aecfe40f863823c8b115bca00537fcd78934137 100644 +--- a/src/index.js ++++ b/src/index.js +@@ -95,7 +95,7 @@ function create(ctx) { + ?? [Array.isArray(options.text) ? options.text.join("\n") : options.text]; + + /** @type {string} */ +- const src = ctx.sourceCode.getText(); ++ const src = ctx.getSourceCode().getText(); + const srcHeader = findHeader(src, syntax); + const headers = rawHeaders.map((raw) => makeComment(raw, syntax, decor)); + const trailingLines = "\n".repeat(src.slice(srcHeader.length).trim() ? 1 + newlines : 1);
\ No newline at end of file |