Skip to content

Commit 6d201fe

Browse files
[Bugfix:Plagiarism] Create Lichen directory during install (#90)
1 parent dbd4a61 commit 6d201fe

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

install_lichen.sh

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,8 @@ lichen_repository_dir=/usr/local/submitty/GIT_CHECKOUT/Lichen
1212
lichen_installation_dir=/usr/local/submitty/Lichen
1313
lichen_vendor_dir=/usr/local/submitty/Lichen/vendor
1414

15+
rm -rf "$lichen_installation_dir"
16+
mkdir "$lichen_installation_dir"
1517
cp -r "$lichen_repository_dir"/* "$lichen_installation_dir"
1618

1719
####################################################################################################

0 commit comments

Comments
 (0)