The way to extend ‘home-bash-service-type ’ is not documented
(address . bug-guix@gnu.org)
The ‘home-bash-service-type’ can be extended by passing it a
<home-bash-extension> record, but this is not documented in the manual.
This also applies to ‘home-zsh-service-type’
-----BEGIN PGP SIGNATURE-----
iQJJBAEBCAAzFiEEAVhh4yyK5+SEykIzrPUJmaL7XHkFAmFZlUgVHHB1YmxpY0B5
b2N0b2NlbGwueHl6AAoJEKz1CZmi+1x5mSoP/2TcOxiFecxg4+h6e8p5xmhcEQ+N
JhaiHsFqqWkfNPLu2I1atcs2JE0aoJ43r4s/BgCXydaFFZxsBNRLajTkaqXG3NpN
DiAGXNLzngjCiHMuSM9gj0tRA5QZEjfodVP32hDiknNjnU6pcPdhl2c6mX7tODWV
uhQY49nEOKchh9xKya0yHz9NHXzDWCldB3PitwDnEpumydAYXGSn0R2V6+ZEI16n
sLPpsv4R8HZi2v5O5kO7PNqp/mbQtpv2K6sk5MMfeLd4oa7ALQjWM+HCyYkSfj2F
ne+1fCjzxFBZO26X+D7XhRruTCw0KaNWHc50RadPI4JQ24KfDJETUT29aoHBIU1X
c/uCUvPr087X9m4nYLmsazvwIacVwkcDBC+9mEmFVUxvt6R2pNtpcS8TaGPTF3gV
3milFPetm7LYjCZjtAVY1SlEdCZIujXQJkcf9KRF1Wo5TP5+IzcuF25fD/zReWxE
DvaTiS/Get5A0PCxHaZ0FJB2IOhPTIwnEfHsXCd3EJoRwOVLg8vWkpHQ5FzVEIhO
eaGB+6h/is3LEMqdb8ntQcDaOu6b316SY5dQCCSarc+nNSuuvvAyL0OAGE4n3y7z
H7AfAB5009fngEEk9gk2yhnkHtoOQ5VmKrMttglaqe+Y+L8BuaYDaPMGuptvOSqB
njkrD0OsECtBLpyX
=Zf3B
-----END PGP SIGNATURE-----