search

flathub / org.ghidra_sre.Ghidra

https://flathub.org/apps/details/org.ghidra_sre.Ghidra
7 stars 8 forks source link

Allow editing launch.properties #2

Closed refi64 closed 3 years ago

refi64 commented 3 years ago

This creates a new file ~/.var/app/org.ghidra_sre.Ghidra/config/ghidra.properties which is linked to Ghidra's own launch.properties. In particular, making this editable allows for easy HiDPI support by changing the value of sun.java2d.uiScale.

flathubbot commented 3 years ago

Started test build 39273

flathubbot commented 3 years ago

Build 39273 successful To test this build, install it from the testing repository:

flatpak install --user https://dl.flathub.org/build-repo/37829/org.ghidra_sre.Ghidra.flatpakref
erazemk commented 3 years ago

@hadess Do you mind if I create a new pull request with refi's commit and add the description myself, so that this PR can be merged?

flathubbot commented 3 years ago

Started test build 44274

refi64 commented 3 years ago

Apologies for the massive delay, the comment was added now.

flathubbot commented 3 years ago

Build 44274 successful To test this build, install it from the testing repository:

flatpak install --user https://dl.flathub.org/build-repo/42601/org.ghidra_sre.Ghidra.flatpakref
hadess commented 3 years ago

@flathubbot build

hadess commented 3 years ago

bot, build

flathubbot commented 3 years ago

Queued test build for org.ghidra_sre.Ghidra.

flathubbot commented 3 years ago

Started test build 45068

hadess commented 3 years ago

@flathubbot build

I filed https://github.com/flathub/documentation/issues/36 seeing as the bot makes me pass for a dummy

flathubbot commented 3 years ago

Build 45068 successful To test this build, install it from the testing repository:

flatpak install --user https://dl.flathub.org/build-repo/43358/org.ghidra_sre.Ghidra.flatpakref