Improve code style

Factor KDE build dirs
master
Jacopo De Simoi 4 years ago
parent 5faa27307b
commit d571f67a27
  1. 13
      zshrc.org

@ -78,23 +78,18 @@ The other two swap between build and src dirs on my local git checkout
kde-current-activity-name () { kde-current-activity-name () {
qdbus org.kde.ActivityManager /ActivityManager/Activities org.kde.ActivityManager.Activities.ActivityName `kde-current-activity` qdbus org.kde.ActivityManager /ActivityManager/Activities org.kde.ActivityManager.Activities.ActivityName `kde-current-activity`
} }
kde_src_basedir="/scratch/src/kde"
kde_build_basedir="/scratch/src/kde/build"
kde-cd-build () { kde-cd-build () {
cd $(pwd | sed -e 's+scratch/src/kde+scratch/src/kde/build+') cd $(pwd | sed -e "s+$kde_src_basedir+$kde_build_basedir+")
} }
kde-cd-src () { kde-cd-src () {
cd $(pwd | sed -e 's+scratch/src/kde/build+scratch/src/kde+') cd $(pwd | sed -e "s+$kde_build_basedir+$kde_src_basedir+")
} }
#+end_src #+end_src
**** TODO Factor the KDE tree dir
:PROPERTIES:
:CREATED: [2021-05-01 Sat 10:24]
:END:
**** TODO See if we can use zsh expansion instead of sed **** TODO See if we can use zsh expansion instead of sed
:PROPERTIES: :PROPERTIES:
:CREATED: [2021-05-01 Sat 10:24] :CREATED: [2021-05-01 Sat 10:24]

Loading…
Cancel
Save