Spaces:
Running
Running
File size: 4,145 Bytes
b8b73b2 da515b9 05acf81 da515b9 05acf81 da515b9 b8b73b2 da515b9 b8b73b2 da515b9 b8b73b2 da515b9 b8b73b2 05acf81 b8b73b2 a07e9cb b8b73b2 05acf81 b8b73b2 da515b9 b8b73b2 05acf81 b8b73b2 05acf81 da515b9 05acf81 b8b73b2 da515b9 b8b73b2 da515b9 05acf81 da515b9 a07e9cb b8b73b2 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 |
<script lang="ts">
// The directory browser.
import logo from './assets/logo.png';
import Home from 'virtual:icons/tabler/home'
import Folder from 'virtual:icons/tabler/folder'
import FolderPlus from 'virtual:icons/tabler/folder-plus'
import File from 'virtual:icons/tabler/file'
import FilePlus from 'virtual:icons/tabler/file-plus'
export let path = '';
async function fetchList(path) {
const encodedPath = encodeURIComponent(path || '');
const res = await fetch(`/api/dir/list?path=${encodedPath}`);
const j = await res.json();
return j;
}
$: list = fetchList(path);
function link(item) {
if (item.type === 'directory') {
return `#dir?path=${item.name}`;
} else {
return `#edit?path=${item.name}`;
}
}
function shortName(item) {
return item.name.split('/').pop();
}
function newName(list) {
let i = 0;
while (true) {
const name = `Untitled${i ? ` ${i}` : ''}`;
if (!list.find(item => item.name === name)) {
return name;
}
i++;
}
}
function newWorkspaceIn(path, list) {
const pathSlash = path ? `${path}/` : '';
return `#edit?path=${pathSlash}${newName(list)}`;
}
async function newFolderIn(path, list) {
const pathSlash = path ? `${path}/` : '';
const name = newName(list);
const res = await fetch(`/api/dir/mkdir`, {
method: 'POST',
headers: { 'Content-Type': 'application/json' },
body: JSON.stringify({ path: pathSlash + name }),
});
list = await res.json();
}
</script>
<div class="directory-page">
<div class="logo">
<a href="https://lynxkite.com/"><img src="{logo}" class="logo-image"></a>
<div class="tagline">The Complete Graph Data Science Platform</div>
</div>
<div class="entry-list">
{#await list}
<div class="loading spinner-border" role="status">
<span class="visually-hidden">Loading...</span>
</div>
{:then list}
<div class="actions">
<a href="{newWorkspaceIn(path, list)}"><FilePlus /> New workspace</a>
<a href on:click="{newFolderIn(path, list)}"><FolderPlus /> New folder</a>
</div>
{#if path} <div class="breadcrumbs"><a href="#dir"><Home /></a> {path} </div> {/if}
{#each list as item}
<a class="entry" href={link(item)}>
{#if item.type === 'directory'}
<Folder />
{:else}
<File />
{/if}
{shortName(item)}
</a>
{/each}
{:catch error}
<p style="color: red">{error.message}</p>
{/await}
</div>
</div>
<style>
.entry-list {
width: 100%;
margin: 10px auto;
background-color: white;
border-radius: 10px;
box-shadow: 0px 2px 4px;
padding: 0 0 10px 0;
}
@media (min-width: 768px) {
.entry-list {
width: 768px;
}
}
@media (min-width: 960px) {
.entry-list {
width: 80%;
}
}
.logo {
margin: 0;
padding-top: 50px;
text-align: center;
}
.logo-image {
max-width: 50%;
}
.tagline {
color: #39bcf3;
font-size: 14px;
font-weight: 500;
}
@media (min-width: 1400px) {
.tagline {
font-size: 18px;
}
}
.actions {
display: flex;
justify-content: space-evenly;
padding: 5px;
}
.actions a {
padding: 2px 10px;
border-radius: 5px;
}
.actions a:hover {
background: #39bcf3;
color: white;
}
.breadcrumbs {
padding-left: 10px;
font-size: 20px;
background: #002a4c20;
}
.breadcrumbs a:hover {
color: #39bcf3;
}
.entry-list .entry {
display: block;
border-bottom: 1px solid whitesmoke;
padding-left: 10px;
color: #004165;
cursor: pointer;
user-select: none;
text-decoration: none;
}
.entry-list .open .entry,
.entry-list .entry:hover,
.entry-list .entry:focus {
background: #39bcf3;
color: white;
}
.entry-list .entry:last-child {
border-bottom: none;
}
.directory-page {
background: #002a4c;
height: 100vh;
}
a {
color: black;
text-decoration: none;
}
.loading {
color: #39bcf3;
margin: 10px;
}
</style>
|