4 files changed, 223 insertions, 0 deletions

diff --git a/frontend/lib/auth.ts b/frontend/lib/auth.ts
new file mode 100644
index 0000000..fe00b11
--- /dev/null
+++ b/frontend/lib/auth.ts
@@ -0,0 +1,103 @@
+import { cookies } from 'next/headers';
+import { Env_is_development } from './env';
+import { Elsie } from 'next/font/google';
+
+export interface UserSessionCookie {
+  name: string,
+  value: string,
+}
+
+export interface UserAuth {
+  isLoggedIn: boolean,
+  username: string,
+  name: string,
+  email: string,
+  provider: string,
+  oauth: boolean,
+}
+
+export async function Auth_extract_session_cookie(): Promise<UserSessionCookie | null> {
+  const cookieStore = await cookies();
+  for (const cookie of cookieStore.getAll()) {
+    if (!cookie.name.includes("tinyauth-session"))
+      continue;
+    return {
+      name: cookie.name,
+      value: cookie.value,
+    } as UserSessionCookie;
+  }
+  return null;
+}
+
+export async function Auth_get_user(): Promise<UserAuth> {
+  const cookie = await Auth_extract_session_cookie();
+  const endpoint = Auth_tinyauth_endpoint();
+
+  try {
+    const headers: Record<string, string> = {};
+    if (cookie) {
+      headers['Cookie'] = `${cookie.name}=${cookie.value}`;
+    }
+
+    const response = await fetch(`${endpoint}/api/user`, {
+      method: 'GET',
+      headers
+    });
+
+    if (!response.ok) {
+      return {
+        isLoggedIn: false,
+        username: '',
+        name: '',
+        email: '',
+        provider: '',
+        oauth: false
+      };
+    }
+
+    const data = await response.json();
+
+    return {
+      isLoggedIn: data.isLoggedIn || false,
+      username: data.username || '',
+      name: data.name || '',
+      email: data.email || '',
+      provider: data.provider || '',
+      oauth: data.oauth || false
+    };
+  } catch (error) {
+    console.error('Failed to fetch user:', error);
+    return {
+      isLoggedIn: false,
+      username: '',
+      name: '',
+      email: '',
+      provider: '',
+      oauth: false
+    };
+  }
+}
+
+export function Auth_user_can_upload(user: UserAuth): boolean {
+  if (!user.isLoggedIn)
+    return false;
+
+  if (Env_is_development())
+    return true;
+
+  return user.oauth && user.email.endsWith("@campus.fct.unl.pt");
+}
+
+function Auth_tinyauth_endpoint(): string {
+  const endpoint = process.env.TINYAUTH_ENDPOINT;
+  if (endpoint == undefined)
+    throw new Error(`env var TINYAUTH_ENDPOINT not defined`);
+  return endpoint;
+}
+
+export function Auth_tinyauth_public_endpoint(): string {
+  const endpoint = process.env.TINYAUTH_PUBLIC_ENDPOINT;
+  if (endpoint == undefined)
+    throw new Error(`env var TINYAUTH_PUBLIC_ENDPOINT not defined`);
+  return endpoint;
+}
diff --git a/frontend/lib/drive.ts b/frontend/lib/drive.ts
new file mode 100644
index 0000000..4211949
--- /dev/null
+++ b/frontend/lib/drive.ts
@@ -0,0 +1,91 @@
+import { spawnSync } from 'child_process'
+
+export interface DriveLsEntry {
+  path: string
+  type: "dir" | "file"
+  lastmod: number
+  blob: string | null
+  size: number | null
+  author: string
+}
+
+/// lists the given path on the drive
+export async function Drive_ls(path: string, recursive: boolean): Promise<DriveLsEntry[]> {
+  const args = ['ls']
+  if (recursive) {
+    args.push('-r')
+  }
+  if (path) {
+    args.push(path)
+  }
+
+  const result = spawnSync('fctdrive', args, { encoding: 'utf-8' })
+  if (result.error) {
+    throw new Error(`Failed to execute fctdrive: ${result.error.message}`)
+  }
+  if (result.status !== 0) {
+    throw new Error(`fctdrive exited with code ${result.status}: ${result.stderr}`)
+  }
+  const stdout = result.stdout
+  const entries = []
+  for (const line of stdout.split('\n')) {
+    if (line.trim() == "")
+      continue;
+
+    const parts = line.split('\t');
+    const path = parts[0];
+    const type = parts[1];
+    const lastmod = parseInt(parts[2]);
+    const blobStr = parts[3];
+    const sizeStr = parts[4];
+    const author = parts[5];
+
+    var blob = null;
+    if (blobStr != "-")
+      blob = blobStr;
+
+    var size = null;
+    if (sizeStr != "-")
+      size = parseFloat(sizeStr);
+
+    entries.push({
+      path, type, lastmod, blob, size, author
+    } as DriveLsEntry);
+  }
+  return entries;
+}
+
+/// import the file at local_path by moving it to drive_path
+export async function Drive_import(local_path: string, drive_path: string, email: string) {
+  const result = spawnSync('fctdrive', ['import', local_path, "--mode", "move", "--destination", drive_path, "--email", email], { encoding: 'utf-8' });
+  if (result.error) {
+    throw new Error(`Failed to execute fctdrive: ${result.error.message}`);
+  }
+  if (result.status !== 0) {
+    throw new Error(`fctdrive exited with code ${result.status}: ${result.stderr}`);
+  }
+}
+
+/// returns the full filesystem path of the blob given its id
+export async function Drive_blob_path(blob: string): Promise<string> {
+  const result = spawnSync('fctdrive', ['blob', blob], { encoding: 'utf-8' })
+  if (result.error) {
+    throw new Error(`Failed to execute fctdrive: ${result.error.message}`)
+  }
+  if (result.status !== 0) {
+    throw new Error(`fctdrive exited with code ${result.status}: ${result.stderr}`)
+  }
+  return result.stdout.trim();
+}
+
+export function Drive_basename(path: string): string {
+  const parts = path.split('/');
+  return parts[parts.length - 1];
+}
+
+export function Drive_parent(path: string): string | null {
+  const parts = path.split('/');
+  if (parts.length <= 1)
+    return null;
+  return parts[parts.length - 2];
+}
diff --git a/frontend/lib/env.ts b/frontend/lib/env.ts
new file mode 100644
index 0000000..d67fb3c
--- /dev/null
+++ b/frontend/lib/env.ts
@@ -0,0 +1,3 @@
+export function Env_is_development(): boolean {
+  return process.env.NODE_ENV == "development";
+}
diff --git a/frontend/lib/utils.ts b/frontend/lib/utils.ts
new file mode 100644
index 0000000..7a1e30c
--- /dev/null
+++ b/frontend/lib/utils.ts
@@ -0,0 +1,26 @@
+/**
+ * Formats a size in bytes into a human-readable string
+ * @param bytes Size in bytes
+ * @returns Formatted size string (e.g., "1.5 KB", "2.3 MB", "1.2 GB")
+ */
+export function formatSize(bytes: number | null): string {
+  if (bytes === null || bytes === 0) {
+    return '-'
+  }
+
+  const units = ['B', 'KB', 'MB', 'GB', 'TB']
+  let size = bytes
+  let unitIndex = 0
+
+  while (size >= 1024 && unitIndex < units.length - 1) {
+    size /= 1024
+    unitIndex++
+  }
+
+  // Format with appropriate decimal places
+  if (size < 10 && unitIndex > 0) {
+    return `${size.toFixed(1)} ${units[unitIndex]}`
+  } else {
+    return `${Math.round(size)} ${units[unitIndex]}`
+  }
+}
\ No newline at end of file