Repository navigation
Support post-install? #69
Description
I encountered this issue while packaging zsh-syntax-highlighting (#2000) that requires something to be added to $HOME/.zshrc. Should we create a way to modify a user's system post-install? Certain packages definitely require it.
Context: Here's what I see for $HOME.
# Inside the package.yaml
$ echo $HOME
'/Users/sanch/tea/pkgdev/pantry/builds/github.com\342\210\225zsh-users\342\210\225zsh-syntax-highlighting-0.7.1+darwin/xyz.tea.home'
# In zsh
$ echo $HOME
/Users/sanch
We could use something like {{home}} to refer to the user's home directory.
Activity
jhheider commentedon May 20, 2023
Hopefully we don't need post-install scripts, but realistically we will eventually (think setting up servers). The general solution, if provided, would be use environment variables via
runtime.env.FOO: {{prefix}}/etc/whateverif zsh provides them.sanchitram1 commentedon May 22, 2023
You can use
ZDOTDIRto configure zsh to look in a different directory instead ofHOME. But, it's blank by default, since.zshrcis inHOME.What about
find ~ -name .zshrc -print -quitto find and print the first result? Since it's looking in~, it should find HOME first?jhheider commentedon May 22, 2023
I mean, you can find a .zshrc, if one exists, on the build machine. I guess if you were just an awful person, this might work:
but a) I think that violates the spirit of
tea, and b) we'd probably want to reject it.[-]Refer to $HOME[/-][+]Support `post-install`?[/+]