how to redirect to /docs/ not the /__docs__/?

[wikithink]

I have a problem,I have to redirect to /docs/ not the /__docs__/ in my team,but not using nginx，how to do that?
I modify the ui.R,but error following:
Fetch errorNot Found http://ip:port/docs/openapi.json

thanks very much!

[thomasp85]

I think the easiest way to solve this is by providing a permanent redirect /__docs__/ from /docs/.

The location is hardcoded so there is no way currently to have it natively at a different location

redirect <- function(to) {
  function(req, res) {
    res$status <- 301
    res$setHeader("Location", to)
    res$body <- "redirecting..."
    res
  }
}

pr() |>
  pr_get("/docs/", redirect("../__docs__/")) |> 
  pr_get("/docs/index.html", redirect("../__docs__/index.html")) |> 
  pr_run()