FilesExpand file tree

develop

/

check_code.sh

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

71 lines (62 loc) · 2.67 KB

develop

/

check_code.sh

Copy path

Top

File metadata and controls

• Code
• Blame

71 lines (62 loc) · 2.67 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

#!/usr/bin/env bash

# Copyright (c) 2020 PaddlePaddle Authors. All Rights Reserved.

#

# Licensed under the Apache License, Version 2.0 (the "License");

# you may not use this file except in compliance with the License.

# You may obtain a copy of the License at

#

# http://www.apache.org/licenses/LICENSE-2.0

#

# Unless required by applicable law or agreed to in writing, software

# distributed under the License is distributed on an "AS IS" BASIS,

# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.

# See the License for the specific language governing permissions and

# limitations under the License.

#=================================================

# Utils

#=================================================

set +x

SCRIPT_DIR="$( cd "$( dirname "$0" )" && pwd )"

cd $SCRIPT_DIR/..

diff_files=$(git diff --name-only --diff-filter=ACMR ${BRANCH})

num_diff_files=$(echo "$diff_files" | wc -l)

echo -e "diff files between pr and ${BRANCH}:\n${diff_files}"

PRE_COMMIT_EXE="pre-commit"

# Use prek to replace pre-commit if prek is installed

if command -v prek &> /dev/null

then

echo "Detected prek, use prek to check code style for better performance."

PRE_COMMIT_EXE="prek"

else

echo "prek not found, use pre-commit to check code style."

fi

echo "Checking code style by pre-commit ..."

$PRE_COMMIT_EXE run --files ${diff_files};check_error=$?

if test ! -z "$(git diff)"; then

echo -e '\n************************************************************************************'

echo -e "These files have been formatted by code format hook. You should use pre-commit to \

format them before git push."

echo -e '************************************************************************************\n'

git diff 2>&1

fi

echo -e '\n************************************************************************************'

if [ ${check_error} != 0 ];then

echo "Your PR code style check failed."

echo "Please install pre-commit locally and set up git hook scripts:"

echo ""

echo " pip install pre-commit"

echo " pre-commit install"

echo ""

if [[ $num_diff_files -le 100 ]];then

echo "Then, run pre-commit to check codestyle issues in your PR:"

echo ""

echo " pre-commit run --files" $(echo ${diff_files} | tr "\n" " ")

echo ""

fi

echo "For more information, please refer to our codestyle check guide:"

echo "https://www.paddlepaddle.org.cn/documentation/docs/zh/develop/dev_guides/git_guides/codestyle_check_guide_cn.html"

else

echo "Your PR code style check passed."

fi

echo -e '************************************************************************************\n'

exit ${check_error}