From fec27c7faa360ad3159f9fc32ff7e8a2426a9cfc Mon Sep 17 00:00:00 2001 From: Sangelo Date: Fri, 14 Jul 2023 10:45:00 +0200 Subject: [PATCH] Delete and refactor some files --- database/delete.sql | 0 database/initial.sql | 7 ------- dev-script.sh | 8 ++++++-- download-script.sh | 8 -------- 4 files changed, 6 insertions(+), 17 deletions(-) delete mode 100644 database/delete.sql delete mode 100644 database/initial.sql delete mode 100755 download-script.sh diff --git a/database/delete.sql b/database/delete.sql deleted file mode 100644 index e69de29..0000000 diff --git a/database/initial.sql b/database/initial.sql deleted file mode 100644 index 0a028b6..0000000 --- a/database/initial.sql +++ /dev/null @@ -1,7 +0,0 @@ -CREATE DATABASE if not exists usermgmt; -USE usermgmt; -CREATE TABLE users ( - id INT UNSIGNED NOT NULL AUTO_INCREMENT, - username VARCHAR(20) NOT NULL, - PRIMARY KEY (id) -); \ No newline at end of file diff --git a/dev-script.sh b/dev-script.sh index 8208d3d..500eba4 100755 --- a/dev-script.sh +++ b/dev-script.sh @@ -1,4 +1,8 @@ #!/bin/bash +# simple git pull command and script setup script for development +# clone the repository under the name 'git-user-mgmt' and run this script in the parent folder. -echo "Starting a web server. Use the download script or wget to download the repository on the host machine." -python -m http.server \ No newline at end of file +cd git-user-mgmt +git pull +cd .. +cp git-user-mgmt/management/user-mgmt.sh . \ No newline at end of file diff --git a/download-script.sh b/download-script.sh deleted file mode 100755 index eef9df0..0000000 --- a/download-script.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/bash - -WEB_IP="" -WEB_PORT="" - -echo "Downloading the scripts..." -wget "$WEB_IP":"$WEB_PORT"/database/initial.sql -wget "$WEB_IP":"$WEB_PORT"/user-mgmt.sh \ No newline at end of file