mirror of
https://github.com/CharaChorder/DeviceManager.git
synced 2025-12-11 13:26:16 +00:00
087ff36d5d
Fixes an issue where, after chord list is updated (e.g. by a deletion), the search results continue to use the old list and indices, resulting in incorrect search results.
CharaChorder Device Manager
The official device manager and configuration tool for CharaChorder devices.
Get the latest desktop release here.
Deployment
SSH Setup
To generate a valid ssh key that can be used by the deployment workflow, use the following command:
ssh-keygen -m PEM -b 4096 -t rsa -f dotio
Omitting -m PEM -b 4096 will result in a key that rsync cannot read!
To double-check, make sure your private key starts with
-----BEGIN RSA PRIVATE KEY-----
After that, add the SSH_SERVER, SSH_PORT, SSH_PRIVATE_KEY and SSH_USER
environment secrets to your environment in GitHub.
Releases
Change the version in