```a(...) { attributes["download"] = "..." }``` is what you're looking for I think

# ktor

[martmists]

a(...) {
    attributes["download"] = "..."
}

is what you're looking for I think

[Alex Styl]

a yes! i just tried that and it works, but

[Alex Styl]

the resulting html includes the download as download ="" . Which works for sure, but I am not sure if it would work on all browsers

[Alex Styl]

hopefully if someone knows an other approach, they’ll share it

[Aleksei Tirman [JB]]

I don't think it's possible due to the implementation:

if (tag.attributes.isNotEmpty()) {
    tag.attributesEntries.forEachIndexed { _, e ->
        if (!e.key.isValidXmlAttributeName()) {
            throw IllegalArgumentException("Tag ${tag.tagName} has invalid attribute name ${e.key}")
        }

        out.append(' ')
        out.append(e.key)
        out.append("=\"")
        out.escapeAppend(e.value)
        out.append('\"')
    }
}

[Alex Styl]

@Aleksei Tirman [JB] do you happen to know whether it is intentionally left out?

[Aleksei Tirman [JB]]

Unfortunately, I don't know.