Skip to main content

杂记 | Misc Notes

1.gnome-shell 默认按一下winkey会出main menu, 这问题不大,但是其他我设的winkey+..的快捷键很多不能用了。比如f和空格都不行,但是t可以,很诡异。 解决办法是
system settings -> region and language -> layouts -> options -> alt/win key behaior -> meta is mapped to win keys

2.python的urllib记得是直接直接支持https的,但是不能验证证书(据说以后会实现的)。于是我找到了m2cypto这个模块,里面包装了urllib,证书有问题时会抛异常,但是证书没问题时会卡死。。。后来想了想,还是调用wget比较靠谱

3.gnome 3的控制面板里找不到startup applications了,但是可以直接运行gnome-session-properties

4.maximus:一个小软件,可以去掉最大化窗口的标题栏,配合gnome shell很不错。

5./usr/share/gnome-shell/js/ui/dateMenu.js还有panel.js可以对gnome shell顶部条进行hack,比如我把Activities改了名,自定义了时钟格式,去掉了accessibility图标。



1. By deault press the winkey once in gnome-shell will call up the main menu, this is not a big problem, but some shortcuts 'winkey + somekey' I set are not functional. For example 'f' and 'space' do not work, however 't' works, weird. To solve it:
system settings -> region and language -> layouts -> options -> alt/win key behaior -> meta is mapped to win keys

2. The urllib in python support https links, but it does not validate the certificates (some say that this will be implemented in the future). So I found the m2cypto module, it wraps urllib, and an exception will be thrown when there is problem with the certificate, however it sometimes went stuck when nothing wrong... Later I realized that it would be good just to call 'wget'

3. I cannot find 'Startup Application' in the gnome control center, but I can still run gnome-session-properties

4. maximus: a small tool that eliminate the title bar of maximized windows, looks quite good with gnome-shell.

5. Through the files /usr/share/gnome-shell/js/ui/dateMenu.js & panel.js we can hack the top bar of gnome shell, for example I renamed 'Activities', customized the datetime format, and removed the accessibility icon.

Comments

Popular posts from this blog

Determine Perspective Lines With Off-page Vanishing Point

In perspective drawing, a vanishing point represents a group of parallel lines, in other words, a direction. For any point on the paper, if we want a line towards the same direction (in the 3d space), we simply draw a line through it and the vanishing point. But sometimes the vanishing point is too far away, such that it is outside the paper/canvas. In this example, we have a point P and two perspective lines L1 and L2. The vanishing point VP is naturally the intersection of L1 and L2. The task is to draw a line through P and VP, without having VP on the paper. I am aware of a few traditional solutions: 1. Use extra pieces of paper such that we can extend L1 and L2 until we see VP. 2. Draw everything in a smaller scale, such that we can see both P and VP on the paper. Draw the line and scale everything back. 3. Draw a perspective grid using the Brewer Method. #1 and #2 might be quite practical. #3 may not guarantee a solution, unless we can measure distances/p...

Chasing an IO Phantom

My home server has been weird since months ago, it just becomes unresponsive occassionally. It is annoying but it happens only rarely, so normally I'd just wait or reboot it. But weeks ago I decided to get to the bottom of it. What's Wrong My system set up is: Root: SSD, LUKS + LVM + Ext4 Data: HDD, LUKS + ZFS 16GB RAM + 1GB swap Rootless dockerd The system may become unresponsive, when the IO on HDD  is persistantly high for a while. Also: Often kswapd0 has high CPU High IO on root fs (SSD) From dockerd and some containers RAM usage is high, swap usage is low It is very strange that IO on HDD can affect SSD. Note that when this happens, even stopping the IO on HDD does not always help. Usually restarting dockerd does not help, but rebooting helps. Investigation: Swap An obvious potential root cause is the swap. High CPU on kswapd0 usually means the free memory is low and the kernel is busy exchanging data between disk and swap. However, I tried the following steps, none of the...

Moving Items Along Bezier Curves with CSS Animation (Part 2: Time Warp)

This is a follow-up of my earlier article.  I realized that there is another way of achieving the same effect. This article has lots of nice examples and explanations, the basic idea is to make very simple @keyframe rules, usually just a linear movement, then use timing function to distort the time, such that the motion path becomes the desired curve. I'd like to call it the "time warp" hack. Demo See the Pen Interactive cubic Bezier curve + CSS animation by Lu Wang ( @coolwanglu ) on CodePen . How does it work? Recall that a cubic Bezier curve is defined by this formula : \[B(t) = (1-t)^3P_0+3(1-t)^2tP_1+3(1-t)t^2P_2+t^3P_3,\ 0 \le t \le 1.\] In the 2D case, \(B(t)\) has two coordinates, \(x(t)\) and \(y(t)\). Define \(x_i\) to the be x coordinate of \(P_i\), then we have: \[x(t) = (1-t)^3x_0+3(1-t)^2tx_1+3(1-t)t^2x_2+t^3x_3,\ 0 \le t \le 1.\] So, for our animated element, we want to make sure that the x coordiante (i.e. the "left" CSS property) is \(...