view zshrc-systemd @ 165:6dd02b1ebb80

use java-config again for selecting JDKs
author Dirk Olmes <dirk.olmes@codedo.de>
date Wed, 19 Feb 2020 08:20:33 +0100
parents 383ea800bf98
children
line wrap: on
line source

function sc() {
	local SUDO=""

	if [[ $USER != "root" ]]; then
		SUDO="sudo"
	fi
	$SUDO systemctl $2 $1
}