You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When searching for a library like 'bash configure_libs.sh glpk", if the library "glpk" is not installed in the system and can not find via "find" command, the existing script still writes blank lines to (or .) to the .bashrc. Instead of this, we need to clearly output that the library is not installed. This is especially true in the case of "glpk". The script didn't throw any error, and I thought everything is working. But it didn't compile. Then I have to give some thought and install the library manually.
The text was updated successfully, but these errors were encountered:
When searching for a library like 'bash configure_libs.sh glpk", if the library "glpk" is not installed in the system and can not find via "find" command, the existing script still writes blank lines to (or .) to the .bashrc. Instead of this, we need to clearly output that the library is not installed. This is especially true in the case of "glpk". The script didn't throw any error, and I thought everything is working. But it didn't compile. Then I have to give some thought and install the library manually.
The text was updated successfully, but these errors were encountered: