blob: e119c3ae1a36e6c0d2917fd8f28619f625e0de07 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
#!/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"
|
