Misc | another web journey

Lost in gray screen

March 15, 2026 2 minutes

Today I want to solve a problem: my Linux (Manjaro Xfce) machine does not recognize an external projector plugged with an HDMI cable.

Scanning battle

January 17, 2026 3 minutes

Today I scanned my driving license from my Linux (Manjaro) computer. Quite an adventure! 🤠

chkdsk: Windows repair disk command

January 4, 2026 ~1 minute

Yesterday I learned about the chkdsk Windows command. I had to use it on an external hard drive disk because it could not mount on my Linux (Manjaro) computer. The reason is most probably that it fell when it was in use and therefore was not properly shutdown.

create or update project on GitHub

February 19, 2023 3 minutes

This is a personal step by step procedure to be updated.

Create (via command lines)

open a terminal
get the path to your project folder stored on your device
write cd (for change directory) and then the path. For instance:
```
cd Documents/www/project
```
initialize the repository
```
git init
```
push all files (.) from this /project folder into staging (wait line)
```
git add .
```
push the package from staging to local repository and provide a message into quotes
```
git commit -m "initial commit"
```
create distant repository on GitHub (New repository) and copy the URL (https://github.com/username/project.git)
push the package from local repository to distant repository
1. indicate which repository you are aiming (replace "URL" by the one you copied on step 7)
```
git remote add origin URL
```
2. push it
```
git push -u origin master
```
3. enter your username and token
verify result on GitHub

Update

via Code - OSS

via Command lines

open a terminal
get:
- the path to your project folder stored on your device
- your project's GitHub URL (https://github.com/username/project.git)
write cd (for change directory) and then the path. For instance:
```
cd Documents/www/project
```
push all files (.) from this /project folder into staging (wait line)
```
git add .
```
push the package from staging to local repository and provide a message into quotes
```
git commit -m "changed this"
```
push the package from local repository to distant repository
1. indicate which repository you are aiming (replace "URL" by the one you copied on step 2). Branch "master" and URL are optional
```
git remote add master URL
```
2. push it. Branch "master" is optional
```
git push -u master
```
3. enter your username and token
verify result on GitHub