<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Nov 14, 2021, at 8:29 AM, H.Merijn Brand <<a href="mailto:tcsh@tux.freedom.nl" class="">tcsh@tux.freedom.nl</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta charset="UTF-8" class=""><div class="content-isolator__container" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><div class="protected-part"><div class="protected-title">Signed PGP part</div><div class="protected-content">On Sat, 13 Nov 2021 19:16:07 -0500, Christos Zoulas <<a href="mailto:christos@zoulas.com" class="">christos@zoulas.com</a>> wrote:<br class=""><br class=""><blockquote type="cite" class="">Committed, thanks!<br class=""></blockquote><br class="">Wow, thanks. Would it be hard(er) to also allow<br class=""><br class="">% setenv EURO "\u20AC"<br class=""><br class="">directly too instead of<br class=""><br class="">% setenv EURO `echo "\u20AC"`<br class=""><br class="">(you can also hint me to the location in/of the code and I'll play around myself)<br class=""><br class=""></div></div></div></div></blockquote><br class=""></div><div>I am not sure... How do you enter a literal "\u20AC" then in the environment?</div><div>setenv EURO "\\u20AC"?</div><div>Does not seem very intuitive to me. At least we have simple "output" semantics</div><div>here for echo. What would be the "input" semantics, and which commands do they</div><div>affect? I.e. does the translation happen for all variables on assignment? For all</div><div>literal strings present in csh code?</div><div><br class=""></div><div>Best,</div><div><br class=""></div><div>christos</div></body></html>