2023-07-31 14:27:41 -04:00
|
|
|
set export
|
|
|
|
|
rootdir := ''
|
|
|
|
|
prefix := '/usr'
|
|
|
|
|
base-dir := absolute_path(clean(rootdir / prefix))
|
|
|
|
|
install-dir := base-dir / 'share'
|
|
|
|
|
icons := install-dir / 'icons' / 'Cosmic'
|
|
|
|
|
export ICONS := icons
|
|
|
|
|
|
|
|
|
|
default:
|
|
|
|
|
@just --list
|
|
|
|
|
|
|
|
|
|
install-freedesktop:
|
|
|
|
|
@just freedesktop/install
|
|
|
|
|
|
|
|
|
|
install-extra:
|
|
|
|
|
@just extra/install
|
|
|
|
|
|
2023-08-29 18:05:34 -04:00
|
|
|
install-index:
|
|
|
|
|
install -Dm0644 ./index.theme {{icons}}/index.theme
|
|
|
|
|
|
2023-07-31 14:27:41 -04:00
|
|
|
# Install everything
|
2023-08-29 18:05:34 -04:00
|
|
|
install: (install-freedesktop) (install-extra) (install-index)
|
2023-07-31 14:27:41 -04:00
|
|
|
|
|
|
|
|
# Uninstalls everything (requires same arguments as given to install)
|
|
|
|
|
uninstall:
|
|
|
|
|
rm -rf {{icons}}
|
|
|
|
|
|
|
|
|
|
# Show the current git commit
|
|
|
|
|
git-rev:
|
|
|
|
|
@git rev-parse --short HEAD
|
