scratch

This is an old revision of the document!


Maustasten belegen

https://help.ubuntu.com/community/ManyButtonsMouseHowto

sudo apt-get install imwheel

Button 10 ist die Daumentaste.

/etc/X11/imwheel/startup.conf:

IMWHEEL_START=1
IMWHEEL_PARAMS='-b "0 0 0 0 0 0 10"'

~/.imwheelrc:

".*"  
None,		ExtBt7,   Alt_L|F9

Und schließlich unter Einstellungen / Tastatur / Tastenkombinationen / Fenster / Fenster verkleinern
Alt + F9 einstellen (sollte aber auch Default sein).

xorg-xev, xbindkeys und xdotool installieren:

pacman -S xbindkeys xdotool xorg-xev

mit xev Button Nummer herausfinden.

Maustasten mit xbindkeys auf Tastendrücke legen: ~./xbindkeysrc:

# Button 10 sends ALT+F9
"xdotool key alt+F9"
b:10

xbindkeys automatisch beim Einloggen starten: ~/.xprofile:

xbindkeys &

In Desktop-Einstellungen ALT-F9 auf gewünschte Funktion, z.B. Fenster minimieren setzen.

Mausgeschwindigkeit einstellen

Per 'xset'. Z.B.: xset m 5/4 0

Das ganze dann als Startup definieren,

#cat ~/.config/autostart/mouse.desktop

[Desktop Entry]
Name=Set mouse sensitivity
Exec=xset m 5/4 0
Type=Application
Comment=Use xset to set mouse params
Comment[en_US]=Use xset to set mouse params
Comment[de_DE]=Benutzt xset um die Maus-Geschwindigkeit einzustellen

Siehe auch: http://www.pontikis.net/blog/fix-mouse-sensitivity-ubuntu

MATE Desktop: Window reize/move mit Windows (Super) Taste statt Alt

Arduino IDE unter Raspbian

Bluetooth RS232 Verbindung herstellen

$ sudo hcitool scan
Scanning …
00:02:C7:7D:F5:17 BlueGPS 7DF517
$ sudo rfcomm bind /dev/rfcomm0 00:02:C7:7D:F5:17 1
$ ls -l /dev/rfcomm0
crw-rw—- 1 root dialout 216, 0 2008-12-14 23:15 /dev/rfcomm0

Floppy auf 720 kB formatieren (USB-Laufwerk)

Git

#                                                                   #
# Command line                                                      # Bitbucket (prefered)
#                                                                   #


====================================== Create a new branch =====================================================

# Create and checkout branch                                        Bitbucket: Create the branch in Bitbucket
git checkout -b <branch>
                                                                    # Fetch the new branch and check it out
# Push (empty) branch to the remote repository                      git fetch
git push -u origin <branch>                                         git checkout LSAS-0815_CoolFeature
 
# Do the work: edit, add, ...

# Commit the branch
git commit -m "Insert commit message here"

# Push branch to the remote repository
# ***********************************************************
# Note: From Pro Git book: "In general the way to get the best of both worlds is to rebase local changes 
# you’ve made but haven’t shared yet before you push them in order to clean up your story, but never rebase 
# anything you’ve pushed somewhere.
#
# => so better first commit locally until finished, then rebase and then push to origin.
# ***********************************************************
git push    # Specify upstream if not already done above: git push -u origin <branch>




====================================== Rebase ==================================================================

# Update master copy
git checkout master
git pull

# go to branch which should be merged to master and make sure that remote is equal with your copy
git checkout <branch>
git pull    # only if branch is already pushed to origin

# Start rebase
git rebase master

# solve conflicts with an editor e.g foo.cxx has a conflict
kate foo.cxx # remove conflict
git add foo.cxx

# continue rebasing
git rebase --continue

# if there are no other conflicts to solve, push your branch to remote otherwise solve conflicts
git push --force


====================================== Merge the branch with master ============================================

git checkout master                                                 Bitbucket: Create pull request
git merge <branch>                                                  Bitbucket: Merge
git push                                                            Bitbucket: Delete <branch>
  • scratch.1548955740.txt.gz
  • Last modified: 2019/01/31 18:29
  • by admin