Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

A few improvements, mostly for user-provided configuration #4

Merged
merged 4 commits into from
Apr 18, 2019
Merged

A few improvements, mostly for user-provided configuration #4

merged 4 commits into from
Apr 18, 2019

Conversation

eepp
Copy link
Contributor

@eepp eepp commented Apr 15, 2019

See commit messages and the updated README.md for details.

eepp added 4 commits April 15, 2019 13:21
Signed-off-by: Philippe Proulx <eeppeliteloop@gmail.com>
Signed-off-by: Philippe Proulx <eeppeliteloop@gmail.com>
If the `$HOME/.config/charpicker/theme.rasi` is available, use it for
the rofi theme instead of local `arthur-c.rasi` to allow the user to
control the style.

Signed-off-by: Philippe Proulx <eeppeliteloop@gmail.com>
This patch adds support for user symbols. Those symbols are added to the
project's provided symbol list, as explained in `README.md`.

The purpose of this feature is for a user to have its own symbols which
are not necessarily interesting to the general public while still being
able to update the official project's list.

The new script, `effective_special_character_list.sh`, outputs the
concatenation of the provided list of symbols (`special_character_list`)
and the user list of symbols
(`~/.config/charpicker/special_character_list`), if any. `compile.sh`
and `charpickerprint.sh` use this script instead of reading from
`special_character_list` directly.

Signed-off-by: Philippe Proulx <eeppeliteloop@gmail.com>
@NoraCodes
Copy link
Owner

Looks great, thank you.

@NoraCodes NoraCodes merged commit 0efa327 into NoraCodes:master Apr 18, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants