diff options
author | Benjamin Pierce <bcpierce00@users.noreply.github.com> | 2018-02-09 13:50:29 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-09 13:50:29 -0500 |
commit | 8f4728079ab6ca0e3d018b28a910e83291a4c74c (patch) | |
tree | 96f700cd63d40df17d6b403aadfed99cc05896e1 /src | |
parent | b93ed67818798766e21bcc14a74f41b13febcffc (diff) | |
parent | 604b26ea093a72f40adc4f9c15ed087903d5afb8 (diff) | |
download | unison-8f4728079ab6ca0e3d018b28a910e83291a4c74c.zip unison-8f4728079ab6ca0e3d018b28a910e83291a4c74c.tar.gz unison-8f4728079ab6ca0e3d018b28a910e83291a4c74c.tar.bz2 |
Merge pull request #158 from bcpierce00/update-docs
Add some recent improvements
Diffstat (limited to 'src')
-rw-r--r-- | src/RECENTNEWS | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/RECENTNEWS b/src/RECENTNEWS index e69de29..a4b5a53 100644 --- a/src/RECENTNEWS +++ b/src/RECENTNEWS @@ -0,0 +1,17 @@ +* Some nontrivial changes to profile parsing (G.raud Meyer) + - '=' has been considered whitespace until now: several following + chars are considered as only one; trailing chars are discarded; + any non emty sequence of char is splitting. This is non standard + and leads to confusion, for example -ignore== 'Name .*=*' is + valid when -ignore='Name .*=*' is not, and worse -ignore='Name + *=' is the same as -ignore='Name *'. The parser now takes just + a single '=' as delimiter after the option name. Other = + characters are considered as part of the value being assigned to + the option. + +* Numerous improvements to the text user-interface (G.raud Meyer) + - New key-commands that restrict the display to a set of + "matching" items: ones that are offering to propagate changes in + a particular direction, conflicts, files to be merged, etc., + plus several more useful key-commands. Type "?" to Unison to + see all available commands. |