kevinveenbirkenbach
/
cli-gnome-extension-manager
mirror of https://github.com/kevinveenbirkenbach/cli-gnome-extension-manager.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Solved naming bug

This commit is contained in:
Kevin Veen-Birkenbach 2023-06-20 20:51:05 +02:00
parent d211d53264
commit 639b09e9a4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gnome-extension-manager.sh
View File

@ -7,7 +7,7 @@
action_type="$1"
extension_name="$2"
extension_repository_path="$3"
extension_folder="$HOME/.local/share/gnome-shell/extensions/$extension_repository_path/"
extension_folder="$HOME/.local/share/gnome-shell/extensions/$extension_name/"
echo "=== GNOME Extension Installer ==="
@ -29,7 +29,7 @@ if [ "$action_type" == "enable" ]; then
fi
if [ -f "$extension_folder/Makefile" ]; then
tmp_extension_folder="/tmp/$extension_repository_path"
tmp_extension_folder="/tmp/$extension_name"
mv "$extension_folder" "$tmp_extension_folder"
echo "Compiling extension..."
(cd "$tmp_extension_folder" && make install) || exit 1 "Compilation failed."