Can should resources be renamed w r t the union of `resource pantsbuild #development

Channels

welcome

github-notifications

development

Title

bitter-ability-32190

01/29/2022, 1:51 AM

Can/should "resources" be renamed w.r.t. the union of

resources

and

files

? https://www.pantsbuild.org/docs/resources The ambiguity is killing me in my PR to infer

resources

from strings in Python 🪦 Can I propose

asset

happy-kitchen-89482

01/29/2022, 2:06 AM

That is a good idea!

🙏 2

🙌 2

"There are two kinds of assets, resources and files." yes that works

🙏 2

🙌 2

bitter-ability-32190

01/29/2022, 2:07 AM

relief

➕ 1

(Submitted a proposal for the change, although can't change the URL slug)

happy-kitchen-89482

01/29/2022, 2:10 AM

Thanks! I'll take a look

bitter-ability-32190

01/29/2022, 2:12 AM

CC @hundreds-father-404

hundreds-father-404

01/29/2022, 3:42 AM

this is sooooo much better

🙌 1

thank you

@happy-kitchen-89482 before changing it, note that we link to the resources page a lot throughout the doc sites. I would hope that README automatically fixes the URL, but might be worth a small experiment to confirm

happy-kitchen-89482

01/29/2022, 3:45 AM

It won't, since we reference via the slug

so I think we don't change the slug

Or maybe it does, I'll check

👍 1

but I doubt they have reverse-indexed those doc: references