mirror of
https://github.com/wavetermdev/waveterm.git
synced 2024-12-22 16:48:23 +01:00
6091305bb3
* fix: allow ssh user to use numbers/capital letters Prior to this change, usernames could not start with numbers and could not contain capital letters at all. Note that the username can also start with capital letters. * fix: update ssh_config with IdentityFiles fix This adds the update that provides the ssh2 defaults for IdentityFiles. This will allow the usual defaults to be searched when none are explicitly provided. * fix: overwrite identity files instead of appending This change makes it so a waveterm configured identity file will overwrite the one in the config instead of attempting to append it. This matches the behavior of openssh. * style: use regular font for markdown user input This makes the Markdown User Input indistinct from user input without markdown. It changes the font and makes a couple small adjustments to the font size and line height. * fix: use font property instead of font-family The markdown css for User Input can be simplified with the font being set by the "font" property rather than the "font-family" property. |
||
|---|---|---|
| .. | ||
| fontawesome | ||
| fonts | ||
| logos | ||
| themes | ||
| bulma-0.9.4.min.css | ||
| index-dev.html | ||
| index.html | ||
| Prompt.icns | ||
| waveterm.icns | ||