-
Notifications
You must be signed in to change notification settings - Fork 16
/
Copy pathMakefile
105 lines (89 loc) · 2.91 KB
/
Makefile
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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
all: build install lint
.PHONY: build install
build:
glib-compile-schemas --strict --targetdir=schemas/ schemas
install: build
echo "installing..."
rm -rf ~/.local/share/gnome-shell/extensions/[email protected]/
mkdir -p ~/.local/share/gnome-shell/extensions/[email protected]/
cp -R ./* ~/.local/share/gnome-shell/extensions/[email protected]/
clean:
rm -rf ./build
publish:
echo "publishing..."
rm -rf build
mkdir ./build
cp LICENSE ./build
cp *.js ./build
cp metadata.json ./build
cp stylesheet.css ./build
cp CHANGELOG.md ./build
cp README.md ./build
cp -R schemas ./build
cp -R ui ./build
cp -R apps ./build
cp -R preferences ./build
cp -R effects ./build
rm -rf ./*.zip
rm -rf build/*_.js
rm -rf build/imports*.js
rm -rf build/apps/mount-dash2dock-lite.desktop
cd build ; \
zip -qr ../[email protected] .
install-zip:
echo "installing zip..."
rm -rf ~/.local/share/gnome-shell/extensions/[email protected]
mkdir -p ~/.local/share/gnome-shell/extensions/[email protected]/
unzip -q [email protected] -d ~/.local/share/gnome-shell/extensions/[email protected]/
test-prefs:
gnome-extensions prefs [email protected]
test-shell: install
env GNOME_SHELL_SLOWDOWN_FACTOR=2 \
MUTTER_DEBUG_DUMMY_MODE_SPECS=1400x800 \
MUTTER_DEBUG_DUMMY_MONITOR_SCALES=1 \
dbus-run-session -- gnome-shell --nested --wayland
rm /run/user/1000/gnome-shell-disable-extensions
g44: build
rm -rf ./build
mkdir -p ./build
mkdir -p ./build/apps
mkdir -p ./build/effects
mkdir -p ./build/preferences
python3 ./tools/transpile.py
rm -rf ~/.local/share/gnome-shell/extensions/[email protected]/
mkdir -p ~/.local/share/gnome-shell/extensions/[email protected]/
cp -R ./schemas ./build
cp -R ./themes ./build
cp -R ./ui ./build
cp -R apps/*.sh ./build/apps
cp -R apps/*.desktop ./build/apps
rm -rf build/apps/mount-dash2dock-lite.desktop
cp ./effects/*.glsl ./build/effects
cp ./LICENSE* ./build
cp ./CHANGELOG* ./build
cp ./README* ./build
cp ./stylesheet.css ./build
cp ./apps/recents.js ./build/apps
cp -r ./build/* ~/.local/share/gnome-shell/extensions/[email protected]/
publish-g44: g44
echo "publishing..."
cd build ; \
zip -qr ../[email protected] .
test-prefs-g44: g44
gnome-extensions prefs [email protected]
test-shell-g44: g44
env GNOME_SHELL_SLOWDOWN_FACTOR=2 \
MUTTER_DEBUG_DUMMY_MODE_SPECS=1200x800 \
MUTTER_DEBUG_DUMMY_MONITOR_SCALES=1 \
dbus-run-session -- gnome-shell --nested --wayland
rm /run/user/1000/gnome-shell-disable-extensions
lint:
eslint ./
xml-lint:
cd ui ; \
find . -name "*.ui" -type f -exec xmllint --output '{}' --format '{}' \;
pretty: xml-lint
rm -rf ./build/*
prettier --single-quote --write "**/*.js"
todo:
python ./tools/todo.py > ./TODO.md