Yeah, I know this fix. I don't think it will be changed in any other way
for the time being.
My advice to anyone who, like me, likes to have the shortcut pair F8 =
bluild, CTRL+F8 = clean up (make clean) is to substitute them with F11 =
build, CTRL+F11 = clean up. That does the trick for me - I like to have
them both on the same "F key".
Sorry, I just don't really like the now default CTRL+F8 and still F8 on
its own not working for anything even if you set it in options :|
BTW to add the "Clean up", just open the External Tools Manager ("Tools
| External Tools..." from the menu), add a new tool, call it e.g. "Clean
up" - copy all the settings from the "Build" tool on the top. In the
command box find this line:
make -C "${DIR}"
... and change it to this:
make -C "${DIR}" clean
Now you can change your shortcut keys to e.g. F11 for Build and
<Control>F11 for clean up.
--
"Build" shortcut (F8) does not work
https://bugs.launchpad.net/bugs/80736
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
