gnome-shell: High-CPU usage and huge syslog

Solution 1:

Ok, it seems to have to do with the gnome-shell extension Taskbar by ttux (there a several extensions with that name). After I have deactivated the extension and restarted the system the cpu usage didn't go up anymore and the log messages don't reappear, too!

(On a side note, if you are looking for a Windows 7 or Windows 10 like Taskbar, try the extension "Dash to Panel" - beautiful stuff)

Failed to execute child process "net" when entering Nautilus

Can a ring of positive characteristic have infinite number of elements?

Proving that $x_n\to L$ implies $|x_n|\to |L|$, and what about the converse?

Prove: if $n\mid 7^n+6^n$ and $n>1$, then $13\mid n$

Finite sum of eigenspaces (with distinct eigenvalues) is a direct sum

How many transitive relations on a set of $n$ elements?

How can I compute $\sum\limits_{k = 1}^n \frac{1} {k + 1}\binom{n}{k} $?

If the dual spaces are isometrically isomorphic are the spaces isomorphic?

Stuck with proof for $\forall A\forall B(\mathcal{P}(A)\cup\mathcal{P}(B)=\mathcal{P}(A\cup B)\rightarrow A\subseteq B \vee B\subseteq A)$

$\mathbb Z\times\mathbb Z$ is principal but is not a PID

$\sum a_n$ be convergent but not absolutely convergent, $\sum_{n=1}^{\infty} a_n=0$