From a2412da7c00eceb51aa946fcd120ae9441e94e33 Mon Sep 17 00:00:00 2001 From: "Endi S. Dewata" Date: Fri, 20 Oct 2017 21:26:57 +0200 Subject: Removed unused publishing scripts. --- scripts/console-publish.sh | 10 ---------- scripts/core-publish.sh | 10 ---------- scripts/meta-publish.sh | 10 ---------- scripts/theme-publish.sh | 10 ---------- scripts/tps-publish.sh | 10 ---------- 5 files changed, 50 deletions(-) delete mode 100755 scripts/console-publish.sh delete mode 100755 scripts/core-publish.sh delete mode 100755 scripts/meta-publish.sh delete mode 100755 scripts/theme-publish.sh delete mode 100755 scripts/tps-publish.sh 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 -- cgit