e818490d69
wmname prints/sets the window manager name property of the root window similar to how hostname(1) behaves. wmname is a nice utility to fix problems with JDK versions and other broken programs assuming a reparenting window manager for instance. ok bernd@
6 lines
271 B
Plaintext
6 lines
271 B
Plaintext
MD5 (wmname-0.1.tar.gz) = aQPSmfhNM15Sn70sHW5J/g==
|
|
RMD160 (wmname-0.1.tar.gz) = iOUtSVdq5HKkW9QMeewEBxFgu84=
|
|
SHA1 (wmname-0.1.tar.gz) = e85gMGzMnJpfxg2YdOgaAT76iHE=
|
|
SHA256 (wmname-0.1.tar.gz) = VZrRiLKRMWfcuzfs+7ftR0p+xLvLASnY1dCMuSCNAsU=
|
|
SIZE (wmname-0.1.tar.gz) = 2512
|