Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -17,12 +17,15 @@ GITHUB_API = "https://api.github.com/repos/"
|
|
17 |
|
18 |
def generate_file_tree(paths):
|
19 |
"""Generate a simple file tree from a list of paths."""
|
|
|
20 |
tree = ["π Root"]
|
21 |
sorted_paths = sorted(paths)
|
22 |
for path in sorted_paths:
|
23 |
parts = path.split('/')
|
24 |
indent = " " * (len(parts) - 1)
|
25 |
tree.append(f"{indent}π {parts[-1]}")
|
|
|
|
|
26 |
return "\n".join(tree) + "\n\n"
|
27 |
|
28 |
def get_all_files(owner, repo, path="", is_hf=False):
|
|
|
17 |
|
18 |
def generate_file_tree(paths):
|
19 |
"""Generate a simple file tree from a list of paths."""
|
20 |
+
print("generating file tree")
|
21 |
tree = ["π Root"]
|
22 |
sorted_paths = sorted(paths)
|
23 |
for path in sorted_paths:
|
24 |
parts = path.split('/')
|
25 |
indent = " " * (len(parts) - 1)
|
26 |
tree.append(f"{indent}π {parts[-1]}")
|
27 |
+
print("generating file tree - Complete")
|
28 |
+
|
29 |
return "\n".join(tree) + "\n\n"
|
30 |
|
31 |
def get_all_files(owner, repo, path="", is_hf=False):
|