diff options
author | Endi S. Dewata <edewata@redhat.com> | 2017-10-20 21:26:57 +0200 |
---|---|---|
committer | Endi S. Dewata <edewata@redhat.com> | 2017-10-20 21:26:57 +0200 |
commit | a2412da7c00eceb51aa946fcd120ae9441e94e33 (patch) | |
tree | ac8e2b3a55fb272e1d9b73bda03d97af111ab132 | |
parent | a02f79e92b255f9a19ff5cb3a02ccda15e3fb356 (diff) | |
download | pki-dev-a2412da7c00eceb51aa946fcd120ae9441e94e33.tar.gz pki-dev-a2412da7c00eceb51aa946fcd120ae9441e94e33.tar.xz pki-dev-a2412da7c00eceb51aa946fcd120ae9441e94e33.zip |
Removed unused publishing scripts.
-rwxr-xr-x | scripts/console-publish.sh | 10 | ||||
-rwxr-xr-x | scripts/core-publish.sh | 10 | ||||
-rwxr-xr-x | scripts/meta-publish.sh | 10 | ||||
-rwxr-xr-x | scripts/theme-publish.sh | 10 | ||||
-rwxr-xr-x | scripts/tps-publish.sh | 10 |
5 files changed, 0 insertions, 50 deletions
diff --git a/scripts/console-publish.sh b/scripts/console-publish.sh deleted file mode 100755 index d52bee9..0000000 --- a/scripts/console-publish.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -x - -BUILD_DIR=$HOME/build/pki-console -mkdir -p $BUILD_DIR -cd $BUILD_DIR - -REPO_DIR=/var/www/html/pub/fedora/linux/releases/20/Everything/x86_64/os -mkdir -p $REPO_DIR -cp repo/*.rpm $REPO_DIR -createrepo $REPO_DIR diff --git a/scripts/core-publish.sh b/scripts/core-publish.sh deleted file mode 100755 index d4b89af..0000000 --- a/scripts/core-publish.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -x - -BUILD_DIR=$HOME/build/pki-core -mkdir -p $BUILD_DIR -cd $BUILD_DIR - -REPO_DIR=/var/www/html/pub/fedora/linux/releases/20/Everything/x86_64/os -mkdir -p $REPO_DIR -cp repo/*.rpm $REPO_DIR -createrepo $REPO_DIR diff --git a/scripts/meta-publish.sh b/scripts/meta-publish.sh deleted file mode 100755 index bffaa55..0000000 --- a/scripts/meta-publish.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -x - -BUILD_DIR=$HOME/build/pki-meta -mkdir -p $BUILD_DIR -cd $BUILD_DIR - -REPO_DIR=/var/www/html/pub/fedora/linux/releases/20/Everything/x86_64/os -mkdir -p $REPO_DIR -cp repo/*.rpm $REPO_DIR -createrepo $REPO_DIR diff --git a/scripts/theme-publish.sh b/scripts/theme-publish.sh deleted file mode 100755 index 13125fb..0000000 --- a/scripts/theme-publish.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -x - -BUILD_DIR=$HOME/build/pki-theme -mkdir -p $BUILD_DIR -cd $BUILD_DIR - -REPO_DIR=/var/www/html/pub/fedora/linux/releases/20/Everything/x86_64/os -mkdir -p $REPO_DIR -cp repo/*.rpm $REPO_DIR -createrepo $REPO_DIR diff --git a/scripts/tps-publish.sh b/scripts/tps-publish.sh deleted file mode 100755 index b75f36e..0000000 --- a/scripts/tps-publish.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -x - -BUILD_DIR=$HOME/build/pki-tps -mkdir -p $BUILD_DIR -cd $BUILD_DIR - -REPO_DIR=/var/www/html/pub/fedora/linux/releases/20/Everything/x86_64/os -mkdir -p $REPO_DIR -cp repo/*.rpm $REPO_DIR -#createrepo $REPO_DIR |