Benjamin A. Beasley
d0b5dd8977
Update Cargo.lock for console 0.16.0
2025-07-23 07:57:07 -04:00
Benjamin A. Beasley
23d97eb4a8
Update console dependency to 0.16.0
2025-07-23 07:56:46 -04:00
Keith Hall
8bc4e76e47
Merge pull request #3347 from bash/terminal-colorsaurus-1.0
...
Update terminal-colorsaurus to 1.0
2025-07-22 21:19:24 +03:00
Tau Gärtli
38762724f5
Add changelog entry
2025-07-22 07:28:16 +02:00
Tau Gärtli
feb0bc1ae6
Update terminal-colorsaurus to 1.0
2025-07-22 07:15:52 +02:00
Keith Hall
872d0baafb
Merge pull request #3206 from sharkdp/make_map_syntax_case_insensitive
...
Make map-syntax target case insensitive
2025-07-17 22:31:54 +03:00
Keith Hall
35c3f065a3
Update changelog
2025-07-17 22:20:42 +03:00
Keith Hall
8b12191bda
Make map-syntax target case insensitive
2025-07-17 22:19:54 +03:00
Martin Nordholts
90b2c57951
Stop auto-merge dependabot PRs
...
Our CI runs a fair amount of unaudited third party code. I'd like to
stop using my Personal Access Token until we have had time to security
harden our CI.
2025-07-17 19:42:34 +02:00
dependabot[bot]
91c95d8ba7
Bump unicode-width from 0.1.14 to 0.2.0 ( #3225 )
...
Bumps [unicode-width](https://github.com/unicode-rs/unicode-width ) from 0.1.14 to 0.2.0.
- [Commits](https://github.com/unicode-rs/unicode-width/compare/v0.1.14...v0.2.0 )
---
updated-dependencies:
- dependency-name: unicode-width
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-07-16 17:01:06 +00:00
TR Staake
2015c99e65
Update README.md
...
Added note about escaping alias when using help aliasing in zsh
2025-07-16 18:44:42 +02:00
Justin Su
1ad294dcd3
Add missing apostrophe in "bat
s"
2025-07-15 17:30:50 +02:00
Justin Su
806df574e7
Use relative links in README.md
2025-07-15 17:30:50 +02:00
HE7086
9b580c7a98
Update documentation for git diff
2025-07-15 07:49:46 +02:00
anand-dragon
7c8e2324ab
[3040]: Add Alias hint on README
2025-07-15 07:04:14 +02:00
cyqsimon
555933315d
Only start offload worker thread when there's more than 1 core ( #2956 )
...
* Only start offload worker thread when there's more than 1 core
* Write changelog
2025-07-15 05:21:00 +02:00
Stéphane Blondon
9121746f05
test: code coverage for list-languages parameter
2025-07-14 16:40:14 +02:00
Keith Hall
f1d45da676
Merge pull request #3333 from SchweGELBin/catppuccin-update
...
Bump Catppuccin from 19c4453 to ccf194f
2025-07-11 20:41:39 +03:00
SchweGELBin
cf147a440e
docs(changelog): update catppuccin theme
2025-07-11 20:29:29 +03:00
SchweGELBin
a3a23e5759
binary: update to support newer Catppuccin theme
2025-07-11 20:29:29 +03:00
SchweGELBin
bc7d1cd44a
theme: bump Catppuccin from 19c4453 to ccf194f
2025-07-11 20:29:29 +03:00
Keith Hall
735fb7be0e
Merge pull request #3322 from YDX-2147483647/lean
...
Update Lean.sublime-syntax from Lean 3 to Lean 4
2025-07-11 20:28:18 +03:00
Y.D.X.
4661f22e81
Merge remote-tracking branch 'upstream/master' into lean
2025-07-11 13:03:06 +08:00
Y.D.X. (Gitpod)
bfd8776042
chore: Follow Lean upstream
2025-07-11 12:56:46 +08:00
dependabot[bot]
e8ff13cd53
Bump toml from 0.8.19 to 0.8.23 ( #3332 )
...
---
updated-dependencies:
- dependency-name: toml
dependency-version: 0.8.23
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-07-10 21:18:15 +00:00
dependabot[bot]
1771f6da8d
Bump flate2 from 1.0.35 to 1.1.2 ( #3331 )
...
---
updated-dependencies:
- dependency-name: flate2
dependency-version: 1.1.2
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-07-10 21:02:31 +00:00
Keith Hall
e888e968b6
Merge pull request #3340 from cyqsimon/syntax-mapping-build-script-use-quote
...
Build script: replace string-based codegen with `quote`-based codegen
2025-07-10 23:46:54 +03:00
cyqsimon
68df079c0e
Add improvement note on parse
+ unparse
2025-07-10 23:31:12 +03:00
cyqsimon
563c4c290d
Consistent spaces in quote!
invocations
2025-07-10 23:31:12 +03:00
cyqsimon
ffbcfd53f9
Write changelog
2025-07-10 23:31:12 +03:00
cyqsimon
fd12328293
Build script: replace string-based codegen with quote
-based codegen
2025-07-10 23:31:12 +03:00
Keith Hall
b387abea6b
Merge pull request #3342 from krikera/master
...
docs(man): update --style documentation with priority rules
2025-07-10 23:30:05 +03:00
Krishna Ketan Rai
efdd038fa4
docs(man): update --style documentation with priority rules
2025-07-10 02:11:35 +05:30
dependabot[bot]
94b699d8df
Bump assets/syntaxes/02_Extra/typst-syntax-highlight ( #3330 )
...
Bumps [assets/syntaxes/02_Extra/typst-syntax-highlight](https://github.com/hyrious/typst-syntax-highlight ) from `1bde1ea` to `3f2561d`.
- [Commits](1bde1ea511...3f2561d4d8
)
---
updated-dependencies:
- dependency-name: assets/syntaxes/02_Extra/typst-syntax-highlight
dependency-version: 3f2561d4d891f9f326fa70f9f06b6e99fda8adc3
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-07-09 19:47:43 +00:00
Keith Hall
226efecdd6
Merge pull request #3337 from JerryImMouse/syntax-vhdl
...
Add syntax highlighting for VHDL language
2025-07-09 22:31:26 +03:00
Jerry
a0b4397ddf
Merge branch 'master' into syntax-vhdl
2025-07-09 04:33:36 +05:00
Keith Hall
c18f5e054e
Merge pull request #3338 from cyqsimon/certbot
...
Add syntax mapping for certbot certificate configuration
2025-07-08 23:44:37 +03:00
cyqsimon
360d43dd4d
Write changelog
2025-07-08 23:33:41 +03:00
cyqsimon
e0165a2d6a
Add syntax mapping for certbot certificate configuration
2025-07-08 23:33:41 +03:00
Jerry
9776ebfa0f
Send errors to stderr ( #3336 )
...
* fix: send errors to stderr by default (#2561 )
Closes #2561
* chore: add changelog entry
* chore: change PR id
* chore: add github username
* chore: cargo fmt...
* chore: move changelog line to bugfixes
2025-07-08 20:42:22 +02:00
Jerry
eda3ecb0b3
Merge branch 'master' into syntax-vhdl
2025-07-08 17:48:10 +05:00
cyqsimon
cf7631d469
CICD: replace windows-2019 runners with windows-2025 ( #3339 )
...
* CICD: replace windows-2019 runners with windows-2025
See https://github.com/actions/runner-images/issues/12045
* Write changelog
2025-07-08 12:37:06 +02:00
JerryImMouse
185a2f3437
chore: update pr number in changelog
2025-07-07 19:37:06 +05:00
JerryImMouse
bdc971eca3
feat(syntax): add syntax highlighting for VHDL
2025-07-07 19:20:23 +05:00
Y.D.X.
288b7e9ca3
docs: Add Lean/LICENSE.md
...
> Jeremy Avigad:
> Patrick and I decided that it makes sense to release the text of MIL under CC BY 4.0 and the repository code (exercises, solutions, etc.) under Apache 2.0. We'll put the Apache license in the repo and figure out where to at the CC BY notice, but in the meantime, you can take this message as a declaration.
https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/License.20of.20Mathematics.20in.20Lean.3F/near/523527618
2025-06-11 22:06:52 +08:00
Y.D.X.
a9d5880dc8
docs: Update CHANGELOG, allow CC BY 4.0 license, and fix a markdown backquote
2025-06-10 17:44:10 +08:00
Y.D.X.
0918984249
Update Lean.sublime-syntax from Lean 3 to Lean 4
...
Resolves #3286
1. `lean4.json` → `lean4.tmLanguage`
1. Download `vscode-lean4/syntaxes/lean4.json` from https://github.com/leanprover/vscode-lean4/pull/623 (now merged).
2. Install the VS Code extension [TextMate Languages (pedro-w)](https://marketplace.visualstudio.com/items?itemName=pedro-w.tmlanguage ).
3. Open `lean4.json` in VS Code, <kbd>F1</kbd>, and “Convert to tmLanguage PLIST File”.
2. `lean4.tmLanguage` → `lean4.sublime-syntax`
Open `lean4.tmLanguage` in Sublime text, “Tools → Developer → New Syntax from lean4.tmLanguage…”.
2025-06-10 17:41:33 +08:00
Keith Hall
e2aa4bc33c
Merge pull request #3320 from krikera/add-mill-syntax-mapping
...
Add syntax mapping for Mill build tool files to use Scala syntax
2025-06-02 19:50:38 +03:00
krikera
9d3db318e3
Add syntax mapping for Mill build tool files to use Scala syntax
2025-06-01 22:03:54 +05:30
dependabot[bot]
5aa123b4f0
Bump assets/syntaxes/02_Extra/Apache from cf6cefc
to c438c35
( #3318 )
...
Bumps [assets/syntaxes/02_Extra/Apache](https://github.com/colinta/ApacheConf.tmLanguage ) from `cf6cefc` to `c438c35`.
- [Commits](cf6cefc51e...c438c352db
)
---
updated-dependencies:
- dependency-name: assets/syntaxes/02_Extra/Apache
dependency-version: c438c352db7dd59c7bc0849134b1bab9b338a36e
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com >
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-06-01 02:13:57 +00:00