Dynamically increase "Gradle Doctor Prescriptions" window size

[veyndan]

Thanks for the awesome work on this project — exactly what I was looking for 💯

So I've just been trying to add an extraMessage when the user's JDK isn't set to JAVA_HOME. I have the following block of code which gives the following output:

doctor {
    javaHome {
        extraMessage.set("""
            For more information, see:
            https://www.notion.so/my-organisation/This-title-is-probably-too-long-b10b17532e6674044ac-12g879d4872100
        """.trimIndent())
    }
}

This works well, except for the fact that the link has been cutoff slightly, so the URL is still clickable, but invalid. Unfortunately Notion produces very long links (and has no first party link shortener) 😕

I'm not totally clear on what a solution would look like, but perhaps a way to configure the max window size? Or have it dynamically sized by the largest string in extraMessage?

[runningcode]

Ah yeah that is quite unfortunate. Thanks for filing. As a workaround, can you use a url-shortener?

[veyndan]

We could, though I'm not the biggest fan of them, since they make the URL completely opaque. Having the full URL means that developers may recognise the URL, realising if they've already read it or not. Definitely a workaround, but personally not too sure if it's worth the tradeoffs.