123456789101112131415 |
- #!/bin/sh
- die()
- {
- printf "$*\n"
- exit 1
- }
- DIRECTORY="$HOME/.gnome2/gedit/styles/"
- THEMES="themes"
- if [ ! -d "${DIRECTORY}" ]; then
- mkdir -vp "${DIRECTORY}" || die "ERRO, ${DIRECTORY} not created. ABORT."
- fi
- [ ! -d "${THEMES}" ] && die "Directory ${THEMES} no exist. ABORT"
- cd "${THEMES}" && cp *.xml "${DIRECTORY}" && printf "OK...\n"
|