https://github.com/harkalygergo/webdevtools

Useful files and informations for any developer.
https://github.com/harkalygergo/webdevtools

Last synced: about 15 hours ago
JSON representation

Useful files and informations for any developer.

• Host: GitHub
• URL: https://github.com/harkalygergo/webdevtools
• Owner: harkalygergo
• Created: 2023-01-13T15:45:34.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2024-11-10T15:08:40.000Z (7 days ago)
• Last Synced: 2024-11-10T16:17:22.198Z (7 days ago)
• Language: JavaScript
• Homepage:
• Size: 25.4 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# WebDevTools

Useful files and informations for any developer.

---

## Usage

Under `useful` folder there are multiple files which can be used in any (new) project.

 - *typography-content.html*: copy this content into your CMS to see universally what basic elements looks like

## Useful links

PHP Standards Recommendations

- https://www.php-fig.org/psr/

  - magyar fordítás: https://github.com/dominicus75/fig-standards

- https://phptherightway.com/

PHP Standards based packages

- https://thephpleague.com/

PHP Debug tools

- https://phpstan.org/

Server test

- https://bench.sh/

## Useful commands

### File

Rename files and resize images in directory.

```

i=1;

for file in ./*;

    do

        filename=$(basename "$file");

        extension="${filename##*.}";

        file_mime=$(file --mime-type "${file}");

        mime=$(echo "$file_mime" | awk '{ print $2 }');

        if [[ "$mime" == "image/jpeg" || "$mime" == "image/png" ]]; then

            convert -resize 1500x1500 $file $file;

            echo "$file image converted";

        fi

        mv "$file" 20230702-Budapest-$i."${extension}";

        i=$((i+1));

    done

```