Ask Ubuntu
Håkon Hægland's user avatar
Håkon Hægland's user avatar
Håkon Hægland's user avatar
Håkon Hægland
  • Member for 10 years, 1 month
  • Last seen this week
Profile Activity
Stats
3,803
reputation
364k
reached
19
answers
62
questions
Communities
View all
About

Researcher at NORCE research, Bergen.

Email: hakon.hagland@gmail.com

Badges
View all badges
12
gold badges
43
silver badges
77
bronze badges
Top tags
View all tags
33
Score
22
Posts
27
Posts %
25
Score
5
Posts
6
Posts %
21
Score
10
Posts
12
Posts %
7
Score
8
Posts
10
Posts %
2
Score
8
Posts
10
Posts %
2
Score
6
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
30
ALT+TAB no longer groups windows under applications in Ubuntu 19.04
Apr 19, 2019
answer
24
How to change gnome-terminal profile preferences using dconf or gsettings?
Feb 13, 2016
question
22
How to change gnome-terminal profile preferences using dconf or gsettings?
Feb 9, 2016
question
16
Upgrade from Tex Live from 2013 to 2014 on Ubuntu 14.04
Jun 20, 2014
answer
15
Upgrade from Tex Live from 2013 to 2014 on Ubuntu 14.04
Jun 21, 2014
question
14
Option “-e” is deprecated and might be removed in a later version of gnome-terminal
Oct 23, 2017
question
13
Okular instances does not group under single icon in desktop dock on Ubuntu 17.10
Jan 14, 2018
question
12
How to automatically update /etc/apt/sources.list with source URIs on Ubuntu 16.04?
Apr 23, 2016
question
12
How to determine gnome-terminal window ID in Ubuntu 17.10?
Oct 22, 2017
question
11
Installing matplotlib on Ubuntu 14.04 after installing Python 3 with pyenv
Oct 15, 2014
Top network posts
View all network posts
163
How to manually expand a special variable (ex: ~ tilde) in bash
54
How do I get a list of axes for a figure in pyplot?
44
Write bash array to file with newlines
39
Extract file contents into array using Bash
23
Defining a new environment extending a verbatim environment

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.