File: install.sh

package info (click to toggle)
gnome-shell-extension-kimpanel 0.0~git20250408.dee6a53-1
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 220 kB
  • sloc: javascript: 1,013; sh: 38; xml: 15; makefile: 6
file content (24 lines) | stat: -rwxr-xr-x 346 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
#!/bin/bash

function error()
{
    echo "Install failed!"
    exit 1;
}

rm -rf build
mkdir build
cd build
CMAKE=`which cmake`

if [ ! -x $CMAKE ]; then
    echo "cmake not found";
    exit 1;
fi

cmake .. || error
make clean || error
make install-zip || error

echo "Install successfull!"
echo "Enable it with gnome-tweak-tool or gnome-tweaks"