sudo add-apt-repository ppa:gnome-terminator
sudo apt-get update
sudo apt-get install terminator
Terminator should be setup as default now. Restart your terminal (shortcut: "Ctrl+Alt+T").
BoxLayout: | |
orientation: 'vertical' | |
Label: | |
size_hint_y: None | |
height: '50dp' | |
id: calc | |
text: '' | |
GridLayout: | |
cols: 4 |
""" | |
Sometimes you want to make several different replacements. Search by tag with | |
optional attributes. Replace with tag with optional attributes. | |
Thank you to Dan @ University of Exeter for bug fix | |
""" | |
from bs4 import BeautifulSoup | |
REPLACEMENTS = [('b', {}, 'strong', {}), |