30 lines
957 B
Diff
30 lines
957 B
Diff
diff -rub launcher/justfile launcher-patched/justfile
|
|
--- launcher/justfile 2024-08-08 01:59:44.654863863 +0200
|
|
+++ launcher-patched/justfile 2024-08-08 02:16:26.601351258 +0200
|
|
@@ -2,6 +2,7 @@
|
|
plugins := 'calc desktop_entries files find pop_shell pulse recent scripts terminal web cosmic_toplevel'
|
|
|
|
rootdir := ''
|
|
+prefix := '/usr'
|
|
debug := '0'
|
|
|
|
target-dir := if debug == '1' { 'target/debug' } else { 'target/release' }
|
|
@@ -9,7 +10,7 @@
|
|
base-dir := if rootdir == '' {
|
|
env_var('HOME') / '.local'
|
|
} else {
|
|
- rootdir / 'usr'
|
|
+ rootdir + prefix
|
|
}
|
|
|
|
lib-dir := if rootdir == '' {
|
|
@@ -70,7 +71,7 @@
|
|
dest={{plugin-dir}}${plugin}
|
|
mkdir -p ${dest}
|
|
install -Dm0644 plugins/src/${plugin}/*.ron ${dest}
|
|
- ln -sf {{bin-path}} {{plugin-dir}}${plugin}/$(echo ${plugin} | sed 's/_/-/')
|
|
+ ln -rsf {{bin-path}} {{plugin-dir}}${plugin}/$(echo ${plugin} | sed 's/_/-/')
|
|
done
|
|
|
|
# Install pop-launcher scripts
|