Spaces:
Sleeping
Sleeping
Ntabukiraniro
commited on
Commit
•
8ef37cc
1
Parent(s):
488b58f
Create app.py (#1)
Browse files- Create app.py (de93aaf4936422c6a9aadb78fd830b771e570569)
app.py
ADDED
@@ -0,0 +1,23 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
def switch_page(page_name: str):
|
2 |
+
from streamlit.runtime.scriptrunner import RerunData, RerunException
|
3 |
+
from streamlit.source_util import get_pages
|
4 |
+
|
5 |
+
def standardize_name(name: str) -> str:
|
6 |
+
return name.lower().replace("_", " ")
|
7 |
+
|
8 |
+
page_name = standardize_name(page_name)
|
9 |
+
|
10 |
+
pages = get_pages("home.py") # OR whatever your main page is called
|
11 |
+
|
12 |
+
for page_hash, config in pages.items():
|
13 |
+
if standardize_name(config["page_name"]) == page_name:
|
14 |
+
raise RerunException(
|
15 |
+
RerunData(
|
16 |
+
page_script_hash=page_hash,
|
17 |
+
page_name=page_name,
|
18 |
+
)
|
19 |
+
)
|
20 |
+
|
21 |
+
page_names = [standardize_name(config["page_name"]) for config in pages.values()]
|
22 |
+
|
23 |
+
raise ValueError(f"Could not find page {page_name}. Must be one of {page_names}")
|