Delete and refactor some files
This commit is contained in:
parent
19b19d071d
commit
fec27c7faa
4 changed files with 6 additions and 17 deletions
|
@ -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)
|
|
||||||
);
|
|
|
@ -1,4 +1,8 @@
|
||||||
#!/bin/bash
|
#!/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."
|
cd git-user-mgmt
|
||||||
python -m http.server
|
git pull
|
||||||
|
cd ..
|
||||||
|
cp git-user-mgmt/management/user-mgmt.sh .
|
|
@ -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
|
|
Reference in a new issue