2 comments about accessing the Windows clipboard:
* Does the Windows clipboard maintain a timestamp? If so, it would be
useful to propagate it to /dev/clipboard as its virtual last
modification time.
* The tools getclip and putclip do not handle non-ASCII character
properly, while /dev/clipboard does.
So I'd suggest to replace them with a wrapper:
#! /bin/sh
case "`basename $0`" in
get*) redir="<";;
put*) redir=">";;
*) if [ -t 0 ]
then redir="<"
else redir=">"
fi;;
esac
eval cat $redir /dev/clipboard
----------------------------------
Thomas
--
Problem reports: http://cygwin.com/problems.html
FAQ: http://cygwin.com/faq/
Documentation: http://cygwin.com/docs.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
