From cf5ec2bd8bd7cd897eba20cbd321050d1e74cbe9 Mon Sep 17 00:00:00 2001 From: hugogogo Date: Fri, 21 Oct 2022 11:14:27 +0200 Subject: [PATCH] local additions --- tutos/computer.txt | 4 +++- tutos/git.txt | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/tutos/computer.txt b/tutos/computer.txt index c4b3071..3e7fe76 100644 --- a/tutos/computer.txt +++ b/tutos/computer.txt @@ -5,13 +5,15 @@ **appimage :** **chmod +x .appimage** make it executable + (optional) **mv path/Nextcloud-xx.Appimage ~/.local/bin/nextcloud** **sudo vim /usr/share/applications/.desktop** create a file.desktop with content : [Desktop Entry] - Exec=/absolute/path/to/file/.AppImage + Exec=/absolute/path/to/file/<.ext> Name= Type=Application **( cd /usr/share/applications && chmod 644 .desktop )** maybe change permissions + **firefox extension source code :** **right click on install** and select "copy link" **curl -L > /tmp/myextension.xpi** download the extension with curl inside a tmp file diff --git a/tutos/git.txt b/tutos/git.txt index 03b6c56..beffb85 100644 --- a/tutos/git.txt +++ b/tutos/git.txt @@ -17,7 +17,7 @@ **git branch** lists all a git project's branches **git branch branch_name** creates a new branch **git checkout branch_name** to switch from one branch to another -**git checkout -b branch-name** create and switch to new branch +**git checkout -b ** create and switch to new branch **git log** shows a list of all previous commits **git log --summary** show more informations **git merge branch_name** join file changes from branch_name into current branch