-
Notifications
You must be signed in to change notification settings - Fork 255
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
add option to set custom source paths #497
Conversation
4e9ce03
to
e66d066
Compare
Tested with the CI result:
So sadly: not successful. |
e66d066
to
23adec4
Compare
thanks for testing. I fixed the |
Thanks, this works nearly as expected now. Not sure how you'd show "persistent" and "per session" entries there (I'd personally mostly need "per session" or "per configuration file", because different projects have the same binary name but the source is in different directories) . Note that in any case this PR missed to add the option (now also in |
f148161
to
a25e6c8
Compare
this patch add allows the user to add a custom source path which will overwrite the source path provided in the binary this makes the disassembler, ... work if the source code directory was moved after creating the binary closes: #418
@GitMensch I think the per-session vs. user settings is a general issue we need to tackle somehow - can you please open a ticket to track that? the rest of this pull request is now mergeable I believe |
this patch add allows the user to add a custom source path which will overwrite the source path provided in the binary
this makes the disassembler, ... work if the source code directory was moved after creating the binary
closes: #418