Martin Böhm 51e75d4bb5 add percent escaping for string.gsub (#1991)
In `string.gsub()`, the `%` character has special meaning and must be escaped to be treated verbatim, otherwise the "invalid use of '%' in replacement string" warning will show up.

This adds a verbatim() function for that purpose. It fixes this warning for situations where `'%` characters are in the current path (cwd), version control branch names, or in the previous `PROMPT` set by the user.
2018-12-19 21:17:45 +01:00
..
2018-12-13 21:12:18 -08:00
2017-07-10 22:23:51 -05:00
2018-09-13 18:05:36 +02:00

Vendor

Third parties software & init script.