From dc455b71861f3fc5e906ba238b37e7d75efc851d Mon Sep 17 00:00:00 2001
From: Dongha Kim <74869052+Jakio815@users.noreply.github.com>
Date: Thu, 18 Dec 2025 11:18:12 -0700
Subject: [PATCH] Change default temporary storage location to $HOME/.tmp

---
 install.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/install.sh b/install.sh
index 53cbd57..4ac5c34 100644
--- a/install.sh
+++ b/install.sh
@@ -150,9 +150,9 @@ if [[ -z $prefix ]]; then
   prefix=~/.local
 fi
 
-# Use /tmp as the default temporary storage
+# Use $HOME/.tmp as the default temporary storage
 if [[ -z $tmp ]]; then
-  tmp="/tmp/lingua-franca"
+  tmp="$HOME/.tmp/lingua-franca"
 else
   tmp="${tmp%/}/lingua-franca"
 fi