summaryrefslogtreecommitdiff
path: root/sys-boot/udk/files/udk-workspace.template
diff options
context:
space:
mode:
Diffstat (limited to 'sys-boot/udk/files/udk-workspace.template')
-rw-r--r--sys-boot/udk/files/udk-workspace.template63
1 files changed, 0 insertions, 63 deletions
diff --git a/sys-boot/udk/files/udk-workspace.template b/sys-boot/udk/files/udk-workspace.template
deleted file mode 100644
index e119c3ae1a36..000000000000
--- a/sys-boot/udk/files/udk-workspace.template
+++ /dev/null
@@ -1,63 +0,0 @@
-#!/bin/bash
-# Copyright 1999-2019 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-SCRIPT_NAME='udk-workspace'
-[ -n "${BASH_SOURCE}" ] && SCRIPT_NAME="${BASH_SOURCE}"
-
-show_usage() {
- if [ ! -z "${1}" ]; then
- echo "${1}" >&2
- echo >&2
- fi
- echo "Usage:"
- echo ". ${SCRIPT_NAME} [folder]"
- echo "where folder is the workspace folder - current directory is used if unspecified"
-}
-
-create_workspace() {
- local workspace_dir="${PWD}"
- if [ ! -z "${1}" ]; then
- workspace_dir="${1}"
- if ! mkdir -p "${1}"; then
- show_usage "Cannot create directory ${1}"
- return 1
- fi
- fi
-
- pushd "${workspace_dir}" >/dev/null
- if ! mkdir -p Conf; then
- show_usage "Cannot create configuration directory"
- return 1
- fi
- export WORKSPACE="${PWD}"
- popd >/dev/null
-}
-
-if [ "${1}" = "-h" ] || [ "${1}" = "--help" ]; then
- show_usage
- # Script may have been sourced
- return 0 2>/dev/null
- exit 0
-elif [ "${SCRIPT_NAME}" = "${0}" ]; then
- show_usage "Script must be sourced"
- exit 1
-elif [ $# -gt 1 ]; then
- show_usage "Too many arguments"
- return 1
-fi
-
-if ! create_workspace "${1}"; then
- return 1
-fi
-unset -f show_usage
-unset -f create_workspace
-shift $#
-
-export EDK_TOOLS_PATH="{EDK_BASE}/BaseTools"
-. "{EDK_BASE}/edksetup.sh"
-
-echo "Do not forget to call this script each time you open a new terminal or work on"
-echo "another workspace."
-echo "For more information, type:"
-echo "${SCRIPT_NAME} --help"