From 58ea0f94ee36f54ca89fb5640e826cb457bb6895 Mon Sep 17 00:00:00 2001
From: Jusong Yu <jusong.yeu@gmail.com>
Date: Fri, 20 Sep 2024 11:58:07 +0200
Subject: [PATCH] wc -l -le 1

---
 before-notebook.d/00_untar-home.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/before-notebook.d/00_untar-home.sh b/before-notebook.d/00_untar-home.sh
index d911474e8..f80d352a5 100644
--- a/before-notebook.d/00_untar-home.sh
+++ b/before-notebook.d/00_untar-home.sh
@@ -4,7 +4,7 @@ set -eux
 home="/home/${NB_USER}"
 
 # Untar home archive file to restore home directory if it is empty
-if [[ $(ls -A ${home} | wc -l) = "0" ]]; then
+if [[ $(ls -A ${home} | wc -l) -le 1 ]]; then
   if [[ ! -f $HOME_TAR ]]; then
     echo "File $HOME_TAR does not exist!"
     exit 1