Spaces:
Build error
Build error
Update app.py
Browse files
app.py
CHANGED
|
@@ -8,26 +8,22 @@ def generate_random_string(length=100):
|
|
| 8 |
"""Generate a random string of fixed length."""
|
| 9 |
return ''.join(random.choice(string.ascii_letters + string.digits) for _ in range(length))
|
| 10 |
|
| 11 |
-
directory="/data"
|
| 12 |
num_files=10
|
| 13 |
file_length=1000
|
| 14 |
|
| 15 |
-
if not os.path.exists(directory):
|
| 16 |
-
os.makedirs(directory)
|
| 17 |
|
| 18 |
-
for
|
| 19 |
-
|
| 20 |
-
|
| 21 |
-
|
| 22 |
-
|
| 23 |
-
|
| 24 |
-
|
| 25 |
-
|
| 26 |
-
|
| 27 |
-
print(glob.glob("**.*", root_dir="/data"))
|
| 28 |
|
| 29 |
with gr.Blocks() as demo:
|
| 30 |
-
gr.FileExplorer()
|
| 31 |
-
gr.FileExplorer(root="/data")
|
| 32 |
|
| 33 |
demo.launch()
|
|
|
|
| 8 |
"""Generate a random string of fixed length."""
|
| 9 |
return ''.join(random.choice(string.ascii_letters + string.digits) for _ in range(length))
|
| 10 |
|
|
|
|
| 11 |
num_files=10
|
| 12 |
file_length=1000
|
| 13 |
|
|
|
|
|
|
|
| 14 |
|
| 15 |
+
for directory in ["/data", "/data/special"]:
|
| 16 |
+
if not os.path.exists(directory):
|
| 17 |
+
os.makedirs(directory)
|
| 18 |
+
|
| 19 |
+
for i in range(num_files):
|
| 20 |
+
file_name = os.path.join(directory, f'random_file_{i}.txt')
|
| 21 |
+
with open(file_name, 'w') as f:
|
| 22 |
+
for _ in range(file_length):
|
| 23 |
+
f.write(generate_random_string() + '\n')
|
|
|
|
| 24 |
|
| 25 |
with gr.Blocks() as demo:
|
| 26 |
+
gr.FileExplorer(label="Working directory")
|
| 27 |
+
gr.FileExplorer(root="/data", label="Persistent storage")
|
| 28 |
|
| 29 |
demo.launch()
|