1
0
Fork 0
mirror of https://github.com/alacritty/alacritty.git synced 2024-11-18 13:55:23 -05:00
Commit graph

5 commits

Author SHA1 Message Date
Christian Duerr
f0cb1e7cf3
Bump alacritty_terminal version
This change bumps the version of the `alacritty_terminal` crate to force
it out of sync with the Alacritty application. Since it is a library
that will be published on crates.io, it should be following semver
rather than our binary's release version.

While it would be possible to just keep it at 0.5.0, explicitly
disconnecting it from the Alacritty version should give it a clean
starting-off point and prevent unnecessary confusion. Bumping it to
0.10.0 instead of something like 0.6.0 should allow for a nice gap
between the different versions without being too arbitrary. Changing the
version to 0.1.0 is not an option since decreasing semver version would
likely cause a lot of problems.

While it would be possible to further separate the Alacritty terminal
library from the Alacritty terminal emulator, by renaming it from
`alacritty_terminal` to something different, I don't think that is
necessary or a good idea at the moment. Even though the
`alacritty_terminal` library *can* be used for other terminals, its
primary goal is still to support the Alacritty terminal emulator and I
don't see that changing. So making that clear in its name seems like a
good idea. Since there is no plan to maintain this library separately
from Alacritty, but to keep both tied together, the naming should
reflect this.
2020-07-19 14:14:31 +00:00
Christian Duerr
09179d06fd
Document supported escape sequences
Fixes #3440.
2020-07-03 20:27:18 +00:00
Christian Duerr
047719bcd2
Add documentation for the release process
Fixes #3032.
2019-12-05 00:12:23 +01:00
Christian Duerr
8d9ef2c7db
Fix PR and issue template 2019-12-02 17:12:29 +01:00
Christian Duerr
918ce9dead
Add new issue and PR templates
This adds a PR template that should remind users to document their
changes in our CHANGELOG, without requiring too much direct interaction
from the user.

The issue template has also been reworked a bit, hopefully making it
easier for people to report bugs, without intruding on them if the
information is irrelevant or providing it is too much effort.

Fixes #3031.
2019-12-01 03:15:21 +01:00