what is the total number of software whose programming language is bash and operating system is linux kernel ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_uri dbo_programmingLanguage dbr_Bash_ attr_open Unix_shell attr_close sep_dot var_uri dbo_operatingSystem dbr_Linux_kernel brack_close