cristiancmoises
/
radix
mirror of https://codeberg.org/anemofilia/radix.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

chore: add fish abbreviations for bookmark navigation in home-fish-service

pull/1/head
anemofilia 2023-10-08 13:39:01 -03:00
parent 7e0df86826
commit fc28824e75
No known key found for this signature in database
GPG Key ID: 5A8F3D62C87A2B33
2 changed files with 16 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
files/fish/functions/functions.fish
View File

@ -1,3 +1,7 @@
function code-projects function code-projects
string replace '@' '~/projects/code/' $argv[1] string replace '@' '~/projects/code/' $argv[1]
end end
function code-projects
string replace '@' '~/resources/bookmarks/' $argv[1]
end

15
radio.scm
View File

@ -241,7 +241,8 @@
(let ((code-projects "~/projects/code") (let ((code-projects "~/projects/code")
(code-project-extensions (code-project-extensions
'(c clj cpp el html kak md org pl scm sh tex zig)) '(c clj cpp el html kak md org pl scm sh tex zig))
(organization "~/areas/organization/links")) (bookmarks
'(emacs guile guix haunt misc)))
(list #|Quick access|# (list #|Quick access|#
(abbreviation (abbreviation
(name "@extension") (name "@extension")
@ -285,6 +286,10 @@
(name "@research") (name "@research")
(position 'anywhere) (position 'anywhere)
(expansion "~/areas/research")) (expansion "~/areas/research"))
(abbreviation
(name "@bookmarks")
(position 'anywhere)
(expansion "~/resources/bookmarks"))
(abbreviation (abbreviation
(name "@git-root") (name "@git-root")
(expansion "cd (git root)")) (expansion "cd (git root)"))
@ -307,8 +312,12 @@
(name ":todo") (name ":todo")
(expansion (format #f "~a/todo" organization))) (expansion (format #f "~a/todo" organization)))
(abbreviation (abbreviation
(name ":links") (name ":bookmark")
(expansion (format #f "~a/links" organization))) (position 'anywhere)
(pattern
(apply format #f "@(~a~@{|~a~})" bookmarks))
(expansion
(fish-function "bookmarks")))
#|Media downloading|# #|Media downloading|#
(abbreviation (abbreviation